doc/style.css

   1 /* vim: set shiftwidth=8 softtabstop=0 cindent cinoptions={1s: */
   2
   3 /* common */
   4 body {
   5         margin: 2em;
   6         padding: 0;
   7         color: #000;
   8         background-color: #eee;
   9         font-family: "Trebuchet MS", Verdana, "Lucida Grande", Tahoma, Helvetica, Sans-Serif;
  10 }
  11
  12 table {
  13         page-break-before: always;
  14 }
  15
  16 a:hover {
  17         background-color: white;
  18 }
  19
  20 a.bottomnote {
  21         text-decoration: none;
  22         color: black;
  23 }
  24
  25 .option_name {
  26         font-variant: small-caps;
  27         font-size: 90%;
  28         font-weight: bold;
  29 }
  30
  31 dt {
  32         font-weight: bold;
  33 }
  34
  35 /* Previous + Next */
  36 p.previous {
  37         text-align: left;
  38 }
  39 p.navtop_title {
  40         text-align: center;
  41         font-weight:bold;
  42 }
  43 p.navbottom_title {
  44         text-align: center;
  45 }
  46
  47 p.next {
  48         text-align: right;
  49 }
  50
  51 div.navtop {
  52         text-align: center;
  53 }
  54
  55 div.navbottom {
  56         text-align: center;
  57 }
  58
  59 /* Headings */
  60 h1 {
  61         margin-top: 1.3em;
  62         margin-bottom: 1.3em;
  63         color: #820303;
  64         background: #effefe;
  65 }
  66
  67 h2 {
  68         margin-top: 1em;
  69         margin-bottom: 1em;
  70         color: #5A0202;
  71         background: #f6fefe;
  72 }
  73
  74 h3 {
  75         margin-top: 0.7em;
  76         margin-bottom: 0.7em;
  77         color: #270101;
  78         background: #f8fefe;
  79 }
  80
  81 hr#bottomseparator {
  82         margin-top: 6em;
  83 }
  84
  85 div.bottomspacer {
  86         margin-bottom: 5em;
  87 }
  88
  89 div.footer {
  90         text-align: right;
  91 }
  92
  93 /* menu descriptions */
  94 dl.menu_desc {
  95         margin-left: 2em;
  96 }
  97 .menu_desc dt {
  98         font-weight: bold;
  99         padding: 0.1em;
 100         border-left: 1px solid gray;
 101         border-bottom: 1px solid gray;
 102         display: inline;
 103         vertical-align: top;
 104 }
 105 .menu_desc dd {
 106         margin-top: 0.3em;
 107         margin-bottom: 0.3em;
 108         font-size: small;
 109 }
 110
 111 .menu_desc dd dl {
 112         margin-top: 0.7em;
 113         margin-bottom: 0.7em;
 114 }
 115
 116 .menu_desc dd dl dd {
 117         font-size: small;
 118 }
 119
 120 /* dialog descriptions */
 121 dl.dialog_desc {
 122         margin-left: 2em;
 123         margin-bottom: 1em;
 124 }
 125 .dialog_desc dt {
 126         display: inline;
 127         padding-left: 0.1em;
 128         padding-right: 0.1em;
 129         font-weight: bold;
 130         margin-top: 0.3em;
 131         border: 1px solid white;
 132 }
 133 .dialog_desc dd {
 134         margin-bottom: 0.7em;
 135 }
 136 .dialog_desc dd dl {
 137         font-size: 90%;
 138         margin-bottom: 1em;
 139 }
 140
 141 thead {
 142         font-weight: bold;
 143 }
 144
 145 /* note */
 146 p.note {
 147         font-style: italic;
 148 }
 149 .note em {
 150         font-weight: bold;
 151 }
 152
 153 /* bottom page note */
 154 p.bottomnote {
 155         margin-top: 5em;
 156         font-style: italic;
 157         font-size: 90%;
 158 }
 159 .bottomnote em {
 160         font-weight: bold;
 161 }
 162
 163 span.note_label {
 164         font-weight: bold;
 165 }
 166
 167 code {
 168         margin-left: 0.3em;
 169         padding: 0.1em;
 170         background: white;
 171 }
 172
 173 .submenu li {
 174         margin: 0.4em;
 175         list-style-type: circle;
 176 }
 177
 178 .examples dt {
 179         border: 0;
 180 }
 181
 182 /* shortcuts tables */
 183 div.shortcuts {
 184         text-align: center;
 185 }
 186 .shortcuts p {
 187         margin: 0.1em;
 188 }
 189 td.shortcuts-separator {
 190         background-color: white;
 191         font-size: 95%;
 192 }
 193 .shortcuts td+td+td {
 194         text-align: left;
 195 }
 196
 197
 198 /* image_presentation_fullscreen.html */
 199 div.fullscreen-functions {
 200         text-align: center;
 201 }
 202 .fullscreen-functions p {
 203         margin: 0.1em;
 204 }
 205
 206 /* index.html */
 207 .menu ul {
 208         font-size: 110%;
 209         font-weight: bold;
 210         margin: 1em;
 211         list-style-type: disc;
 212 }
 213 .menu ul li {
 214         margin: 0.4em;
 215 }
 216 .menu ul li ul {
 217         font-size: 90%;
 218         font-weight: normal;
 219         list-style-type: circle;
 220 }
 221
 222 /* reference_command_line.html */
 223 .command_line_options p {
 224         margin: 0.1em;
 225 }
 226 .remote_commands p {
 227         margin: 0.1em;
 228 }
 229
 230 /* reference_management.html */
 231 .file_locations_subtitle {
 232         font-weight: bold;
 233         background-color: white;
 234         text-align: center;
 235 }
 236 .file_locations p {
 237         margin: 0.1em;
 238 }
 239
 240 /* Keyboard key style */
 241 .key {
 242         border:0.2em solid;
 243         border-color:#ddd #bbb #bbb #ddd;
 244         background:#f2f2f2;
 245         padding:0em 0.4em;
 246         margin: 0;
 247         font-size:0.8em;
 248         white-space:nowrap;
 249         font-weight:normal;
 250         font-style:normal;
 251 }