worg2.css

   1 @media all
   2 {
   3 body {
   4   margin: 1em 5% 1em 5%;
   5 }
   6
   7 a {
   8   color: blue;
   9   text-decoration: underline;
  10 }
  11 a:visited {
  12   color: fuchsia;
  13 }
  14
  15 em {
  16   font-style: italic;
  17   color: navy;
  18 }
  19
  20 strong {
  21   font-weight: bold;
  22   color: #083194;
  23 }
  24
  25 tt {
  26   color: navy;
  27 }
  28
  29 h1, h2, h3, h4, h5, h6 {
  30   color: #527bbd;
  31   font-family: sans-serif;
  32   margin-top: 1.2em;
  33   margin-bottom: 0.5em;
  34   line-height: 1.3;
  35 }
  36
  37 h1, h2, h3 {
  38   border-bottom: 2px solid silver;
  39 }
  40 h2 {
  41   padding-top: 0.5em;
  42 }
  43 h3 {
  44   float: left;
  45 }
  46 h3 + * {
  47   clear: left;
  48 }
  49
  50 div.sectionbody {
  51   font-family: serif;
  52   margin-left: 0;
  53 }
  54
  55 hr {
  56   border: 1px solid silver;
  57 }
  58
  59 p {
  60   margin-top: 0.5em;
  61   margin-bottom: 0.5em;
  62 }
  63
  64 ul, ol, li > p {
  65   margin-top: 0;
  66 }
  67
  68 pre {
  69   padding: 0;
  70   margin: 0;
  71 }
  72
  73 #table-of-contents {
  74     font-size: 85%;
  75     line-height: 1.4em;
  76 }
  77
  78 #table-of-contents ul {
  79     list-style: none;
  80     margin: 7px 0px 7px 15px ;
  81     padding: 0px;
  82 }
  83
  84 #license {
  85   padding: .3em;
  86   border: 1px solid grey;
  87   background-color: #eeeeee;
  88   font-size: 80%;
  89 }
  90
  91 div.content { /* Block element content. */
  92   padding: 0;
  93 }
  94
  95 dl {
  96   margin-top: 0.8em;
  97   margin-bottom: 0.8em;
  98 }
  99 dt {
 100   margin-top: 0.5em;
 101   margin-bottom: 0;
 102   font-style: normal;
 103   color: navy;
 104 }
 105 dd > *:first-child {
 106   margin-top: 0.1em;
 107 }
 108
 109 ul, ol {
 110     list-style-position: outside;
 111 }
 112
 113 table {
 114     border:3px solid #527bbd;
 115     border-left-style:none;
 116     border-right-style:none;
 117     margin-bottom:1.5em;
 118     margin-top:0.25em;
 119 }
 120 thead {
 121   font-family: sans-serif;
 122   font-weight: bold;
 123   border-bottom: 3px solid #527bbd;
 124 }
 125 tfoot {
 126   font-weight: bold;
 127 }
 128 th, td {
 129     border-bottom: 1px solid #527bbd;
 130 }
 131 tbody tr:hover {
 132     color: #527bbd;
 133 }
 134
 135 code {font-size: 10pt;}
 136
 137 img {
 138     border: none;
 139 }
 140
 141 .share img {
 142     opacity: .4;
 143     -moz-opacity: .4;
 144     filter: alpha(opacity=40);
 145 }
 146
 147 .share img:hover {
 148     opacity: 1;
 149     -moz-opacity: 1;
 150     filter: alpha(opacity=100);
 151 }
 152
 153
 154 }  /* END OF @media all */
 155
 156
 157 @media screen
 158 {
 159   body {
 160         margin: 10px 6% 10px 180px;
 161         font-family: serif;
 162   }
 163
 164   .logo-link {
 165     position: fixed;
 166     top: 10px;
 167     left: 30px;
 168   }
 169
 170   #table-of-contents {
 171         position: fixed;
 172         display: block;
 173         left: 10px;
 174         width: 150px;
 175         min-height:60px;
 176         max-height:90%;
 177         overflow:auto;
 178   }
 179
 180   #table-of-contents h2 {
 181         display:none;
 182   }
 183
 184
 185
 186   /* These style are only for IE: */
 187
 188   * html {
 189     overflow-y: hidden;
 190     padding-bottom:0px;
 191     margin:0px;
 192   }
 193
 194   * html body {
 195     height: 100%;
 196     overflow-y: auto;
 197     font-size: 100%;
 198     margin: 0px 0px 0px 180px;
 199     padding: 0px 10% 0px 0px;
 200   }
 201
 202   * html #table-of-contents {
 203     position: absolute;
 204     width:150px;
 205   }
 206
 207   * html h1 {
 208     margin-top:10px;
 209   }
 210
 211   * html .logo-link {
 212     position: absolute;
 213     top: 10px;
 214     left: 30px;
 215   }
 216
 217 }  /* END OF @media screen */
 218
 219
 220
 221
 222 /* Printing */
 223
 224
 225
 226 @page
 227 {
 228         margin-top:3cm;
 229     margin-bottom:2.5cm;
 230 }
 231
 232 @page :left
 233 {
 234   margin-left:1.5cm;
 235   margin-right:2cm;
 236 }
 237
 238 @page :right
 239 {
 240   margin-left:2cm;
 241   margin-right:1.5cm;
 242 }
 243
 244
 245 @media print
 246 {
 247   body {
 248         margin:0px;
 249         font-family: Verdana, Helvetica, sans-serif;
 250   }
 251
 252   div {
 253     orphans:2;
 254   }
 255
 256   p {
 257     orphans:2;
 258   }
 259
 260   li {
 261     orphans:2;
 262   }
 263
 264   .logo-link {
 265     top: 10px;
 266     left: 30px;
 267   }
 268
 269   #table-of-contents h2 {
 270     margin-top:1.5cm;
 271     page-break-before:auto;
 272     border-style:none;
 273   }
 274
 275   #text-table-of-contents {
 276     width:50%;
 277     margin-top:1cm;
 278     margin-left:0cm;
 279     margin-right:auto;
 280     text-align:left;
 281   }
 282
 283   #table-of-contents ul {
 284     text-align:left;
 285   }
 286
 287   h2 {
 288     /* page-break-before:always; */
 289   }
 290
 291   pre {
 292     page-break-inside:avoid;
 293   }
 294
 295   /* Hide all org-info.js stuff for printing: */
 296
 297   div#org-info-js_console-container {
 298     display:none;
 299   }
 300
 301   div.org-info-js_local-toc {
 302     display:none;
 303   }
 304
 305   table.org-info-js_info-navigation {
 306     display:none;
 307   }
 308   div.org-info-js_header-navigation {
 309     display:none;
 310     visibility:hidden; /* needed to overwrite the hardcoded style setting... */
 311   }
 312
 313 }  /* END OF @media print */