cgit.sxemacs.org Git - packages/blob - xemacs-packages/x-symbol/man/x-symbol.css

   1 /* x-symbol.css --- CSS for X-Symbol's man pages
   2  *
   3  * Author: Christoph Wedler <wedler@users.sourceforge.net>
   4  * X-URL: http://x-symbol.sourceforge.net/
   5  */
   6
   7 /* Common style -------------------------------------------------------------*/
   8
   9 BODY {
  10     margin: 0;
  11     padding: 0;
  12     color: #000000;
  13     font-family: serif;
  14     background: #F8F8F8;
  15 }
  16
  17 DIV.main {
  18     padding: 0 0.5em 0 1em;
  19     padding-right: 0.5em;       /* IE bug: repeat */
  20     padding-left: 1em           /* IE bug: repeat */
  21 }
  22
  23 P {
  24     margin: 0.5em 0;
  25     padding: 0;
  26 }
  27 LI {
  28     margin: 0.3em 0;
  29     padding: 0;
  30 }
  31 PRE {
  32     background: #E8E8E8;
  33     white-space: pre;           /* Netscape forgets it */
  34     font-family: monospace;     /* Netscape forgets it */
  35     padding: 0.3em;
  36     border: none;               /* Netscape bug workaround */
  37     margin: 0.3em 1.2em 0.3em 1.2em;
  38 }
  39 LI PRE {
  40     margin: 0.3em 1.2em 0.3em 0;
  41 }
  42 ADDRESS {
  43     padding: 0 0.5em 0.5em;
  44 }
  45
  46 /* HYPERLINKS.  Order is important! */
  47
  48 A:link {
  49     color: #000099;
  50 }
  51 A:visited {
  52     color: #330066;
  53 }
  54 A:active {
  55     color: #660000;
  56 }
  57 A.inpage:link {
  58     color: #333300;
  59 }
  60 A.inpage:visited {
  61     color: #333300;
  62 }
  63 A.inpage:hover {
  64     color: #FF0000;
  65 }
  66 A.foot:link {
  67     color: #666666;
  68 }
  69 A.foot:visited {
  70     color: #666666;
  71 }
  72 A.foot:hover {
  73     color: #FF0000;
  74 }
  75 A:hover {
  76     color: #FF0000;
  77 }
  78
  79 /* HEADER NAVIGATION */
  80
  81 TABLE.head {
  82     border-collapse: collapse;
  83     width: 100%;
  84     padding: 0.1em;
  85     white-space: nowrap;
  86     background: #C0C0C0;
  87     font-family: sans-serif;
  88 }
  89 .head TH {
  90     color: #F0F0F0;
  91     white-space: nowrap;
  92     padding: 0.2em 0.5em 0.2em 0.5em;
  93     border: 2px solid #C0C0C0;
  94 }
  95 .head A:hover {
  96     background: #FFF0D0;
  97 }
  98 .head TD {
  99     padding: 0.2em 0.3em;
 100     width: auto;
 101     border: 2px solid #C0C0C0;
 102 }
 103 TD.sel {
 104     background: #E0E0E0;
 105     border-bottom: 2px solid #E0E0E0;
 106 }
 107 TD.alt {
 108     background: #CCCCCC;
 109 }
 110 TD.last {
 111     text-align: left;
 112     width: 100%;
 113 }
 114
 115 /* HEADERS, MARKUP.  Avoid font sizes, even %, even 100% => ugly fonts */
 116
 117 H1 {
 118     font-family: sans-serif;
 119     color: #660000;
 120     font-weight: bold;
 121 }
 122 H2 {
 123     font-family: sans-serif;
 124     color: #000066;
 125     font-weight: bold;
 126 }
 127 H3 {
 128     font-family: sans-serif;
 129     color: #333333;
 130     font-weight: bold;
 131 }
 132 STRONG.intro {
 133     font-style: normal;
 134     font-weight: bold;
 135     color: #000066;
 136 }
 137 EM.intro {
 138     font-style: normal;
 139     color: #000066;
 140 }
 141 EM EM {
 142     font-style: normal;
 143 }
 144
 145 TT {                            /* like CODE.file */
 146     color: #000066;
 147 }
 148
 149 KBD {                           /* like KBD.kbd */
 150     font-family: monospace;
 151     font-weight: bold;
 152     color: #660000;
 153 }
 154 CODE {                          /* like CODE.lisp */
 155     color: #660000;
 156 }
 157 SAMP {                          /* like SAMP.text */
 158     color: #330066;
 159 }
 160 CITE {
 161     font-style: italic;
 162     color: #330066;
 163 }
 164
 165 /* Manual specific ----------------------------------------------------------*/
 166
 167 /* NAVIGATION BAR, PRINT */
 168
 169 DIV.navigation {
 170     background: #E0E0E0;
 171     width: 100%;
 172     margin-left: -0.2em;
 173     margin-top: 1.2em;
 174     font-family: sans-serif;
 175 }
 176 DIV.navigation TABLE {
 177     font-size: x-small;
 178     color: #E0E0E0;
 179 }
 180 DIV.navigation A {
 181     text-decoration: none;
 182 }
 183
 184 .navigation A:link {
 185     color: #6666AA;
 186 }
 187 .navigation A:visited {
 188     color: #8866AA;
 189 }
 190 .navigation A:active {
 191     color: #886666;
 192 }
 193 .navigation A:hover {
 194     background: #FFF0D0;
 195 }
 196
 197 HR {
 198     display: none;
 199 }
 200
 201 P.print {
 202     color: #660000;
 203 }
 204
 205 /* PRE: @smallexample, @example, @smalldisplay, @display: nec? => v1.1 */
 206
 207 .smallexample PRE {
 208     margin: 0.1em 0;
 209 }
 210 .example PRE {
 211     margin: 0.1em 0;
 212 }
 213 .smalldisplay PRE {
 214     margin: 0.1em 0;
 215 }
 216 .display PRE {
 217     margin: 0.1em 0;
 218 }