doc/source/styles_chm.css

   1 /************************************************************************/
   2 /* Generic style-sheet for the documentation                            */
   3 /* in Windows CHM Help File format                                      */
   4 /*                                                                      */
   5 /* If you prefer sans-serif fonts, just replace all the instances of    */
   6 /* 'times new roman,times,serif' with 'arial,helvetica,sans-serif'.     */
   7 /************************************************************************/
   8
   9
  10 /* Generic tag-level style definitions */
  11 body {
  12         font-family: Verdana, Helvetica, Arial, sans-serif;
  13         background: #fff;
  14         color: #000;
  15         margin: 0;
  16         padding: 0;
  17 }
  18
  19 PRE
  20 {
  21     font-size: 10pt;
  22 }
  23 TT
  24 {
  25     font-size: 12pt;
  26 }
  27
  28 TT.Filename, TT.Literal{
  29         font-weight: bold;
  30 }
  31
  32 a {
  33         color: blue;
  34         text-decoration: none;
  35 }
  36
  37 a:hover {
  38         text-decoration: underline;
  39         color: black;
  40 }
  41
  42 IMG {
  43   border: none;
  44 }
  45
  46 div.figure {
  47         padding: 4px;
  48         clear: both;
  49         text-align: center;
  50         margin: 0px 0px 5px 10px;
  51 }
  52
  53 div.figure p {
  54         margin-top: 2px;
  55         margin-bottom: 0px;
  56         font-size: 80%;
  57         text-align: center;
  58 }
  59
  60 .author
  61 {
  62     font-size: 12pt;
  63     font-style: italic;
  64     font-weight: normal;
  65     color: black;
  66 }
  67
  68 div.navheader,
  69 div.navfooter {
  70   width:100%; filter:progid:DXImageTransform.Microsoft.Gradient(startColorstr='#809BC8', endColorstr='#FFFFFF', gradientType='0');
  71   color: white;
  72   clear: both;
  73   border: 1px solid black;
  74   border-left: 0;
  75   border-right: 0;
  76 }
  77
  78 div.navheader table th {
  79         font-size: medium;
  80 }
  81
  82 /* normal text in the footer */
  83 div.navfooter table td {
  84         color: black;
  85 }
  86
  87 div.navheader table td a,
  88 div.navfooter table td a {
  89         color: #black;
  90         text-decoration: none;
  91 }
  92
  93 /* links in header and footer */
  94 div.navheader table td a:hover,
  95 div.navfooter table td a:hover {
  96         text-decoration: underline;
  97         background-color: transparent;
  98 }
  99
 100 div.navheader table td a:visited,
 101 div.navfooter table td a:visited {
 102         color: black;
 103 }
 104
 105 div.navheader hr, div.navfooter hr{
 106         display: none;
 107 }
 108
 109 div.book,
 110 div.chapter,
 111 div.sect1,
 112 div.sect2,
 113 div.sect3,
 114 div.preface,
 115 div.appendix,
 116 div.section,
 117 div.article,
 118 div.glossary {
 119         margin: 20px;
 120 }
 121
 122 /* table of contents */
 123 div.toc {
 124         border: 1px solid black;
 125         padding: 0px 10px;
 126         background-color: #fff9cd;
 127         color: black;
 128         margin-bottom: 1cm;
 129         width: 80%;
 130 }
 131
 132 div.toc b { font-size: 140%; }
 133
 134 div.toc a {
 135         margin-left: 5px;
 136         margin-bottom: 5px;
 137 }
 138
 139 /* toc definitions for different sections and chapters */
 140 div.book div.toc {
 141         background-color: transparent;
 142         border: 0;
 143         padding: 0;
 144         font-size: medium;
 145 }
 146
 147 div.table title { background-color: #FFFFFF; width:100%; border: 0px; }
 148 div.table p { text-align: center; }
 149 div.table tr td p { text-align: left; }
 150 div.table table {
 151         background-color: #7099C5;
 152         font-size: 90%;
 153         border-width: 0px;
 154 }
 155 div.table th {
 156         text-align: center;
 157         color: white;
 158         background-color: #7099C5;
 159         padding: 1px 4px 1px 4px;
 160         border: none;
 161         vertical-align: top;
 162 }
 163 div.table tr {
 164         background-color: #f0f0ff;
 165 }
 166 div.table td {
 167         vertical-align: top;
 168         padding: 2px 4px 1px 4px;
 169         border: none;
 170 }
 171
 172 .caution, .important, .note, .tip, .warning {
 173         border-top: 5px solid;
 174         border-left: 1px solid;
 175         margin: 1em 0 0 1em;
 176         padding: 5px 0 10px 0;
 177         width: 90%;
 178         clear: both;
 179 }
 180
 181 .action, .guibutton, .guimenu, .guimenuitem {
 182   font-weight: bold;
 183 }
 184
 185 .guibutton, .guimenu, .guimenuitem {
 186   padding: 0px 0.5em 0px 0.5em;
 187 }
 188
 189 .guimenu, .guimenuitem, .guilabel {
 190 /*      font-size: 10pt; */
 191         background-color: #EEE;
 192 }
 193
 194 .guibutton {
 195         font-size: 10pt;
 196         border-width: 1px 2px 2px 1px;
 197         border-style: solid;
 198         background: #eee;
 199         border-color: #ddd #bbb #bbb #ddd;
 200 }
 201
 202 .sidebar {
 203         background-color: #DCDCDC;
 204         padding: 0.5em 0.5em 0.5em 0.5em;
 205 }
 206
 207 .tip {
 208         border-color: #090;
 209 }
 210
 211 .note {
 212         border-color: #069;
 213 }
 214
 215 .important {
 216         border-color: #069;
 217 }
 218
 219 .caution {
 220         border-color: #c60;
 221 }
 222
 223 .warning {
 224         border-color: #900;
 225 }
 226
 227 .term { border-bottom: 1px dotted black; }
 228
 229 .screen {
 230         font-family: monospace;
 231         font-size: 1em;
 232         display: block;
 233         padding: 10px;
 234         border: 1px solid #bbb;
 235         background-color: #eee;
 236         color: #000;
 237         overflow: auto;
 238         border-radius: 2.5px;
 239         -moz-border-radius: 2.5px;
 240         margin: 0.5em 2em;
 241 }
 242
 243 .programlisting {
 244         font-family: monospace;
 245         font-size: 1em;
 246         display: block;
 247         padding: 10px;
 248         border: 1px solid #bbb;
 249         background-color: #ddd;
 250         color: #000;
 251         overflow: auto;
 252         border-radius: 2.5px;
 253         -moz-border-radius: 2.5px;
 254         margin: 0.5em 2em;
 255 }
 256
 257 .filename
 258 {
 259 font-family: arial,helvetica,sans-serif;
 260 font-style: italic;
 261 }
 262
 263 div.literallayout p {
 264   padding: 0em;
 265   margin: 0em;
 266 }
 267
 268 div.literallayout {
 269   font-family: monospace;
 270 #  margin: 0.5em 10% 0.5em 1em;
 271   margin: 0em;
 272   color: navy;
 273   border: 1px solid silver;
 274   background: #f4f4f4;
 275   padding: 0.5em;
 276 }