development/HTML/elyxer.css

   1 /*
   2 * Styles for lyx document.
   3 */
   4 body {
   5         font: x-small serif;
   6         background: #f9f9f9;
   7         color: black;
   8         margin: 0;
   9         padding: 0;
  10 }
  11
  12 #globalWrapper {
  13         font-size: 127%;
  14         margin: 10px 80px 10px 80px;
  15         padding: 20px;
  16         background: #ffffff;
  17         line-height: 1.5em;
  18         overflow: hidden;
  19 }
  20 a {
  21         text-decoration: none;
  22         color: #0030c0;
  23         background: none;
  24 }
  25 a:visited {
  26         color: #603090;
  27 }
  28 a:active {
  29         color: #ffa000;
  30 }
  31 a:hover {
  32         text-decoration: underline;
  33 }
  34 h1 {
  35         margin-top: 1em;
  36         line-height: 1.5em;
  37 }
  38 h1.Part {
  39         text-align: center;
  40 }
  41 sup {
  42         font-size: 0.75em;
  43         line-height: 0.5em;
  44         vertical-align: text-top;
  45 }
  46 sub {
  47         font-size: 0.75em;
  48         line-height: 0.5em;
  49         vertical-align: text-bottom;
  50 }
  51 div.Standard {
  52         margin: 1em 0;
  53 }
  54 p.dir {
  55         float: right;
  56 }
  57 p.printindex {
  58         font-size: 0.90em;
  59 }
  60 a.printindex {
  61         color: black;
  62 }
  63 div.float {
  64         margin-top: 1ex;
  65         margin-bottom: 1ex;
  66         text-align: center;
  67 }
  68 div.figure {
  69         display: inline-block;
  70         padding: 0.2ex;
  71         margin-left: auto;
  72         margin-right: auto;
  73         border: thin solid #c0c0c0;
  74 }
  75 div.table {
  76         display: inline-block;
  77         padding: 0.2ex;
  78         margin-left: auto;
  79         margin-right: auto;
  80         border: thin solid #c0c0c0;
  81 }
  82 div.algorithm {
  83         display: inline-block;
  84         text-align: left;
  85         padding: 0.2ex;
  86         margin-left: auto;
  87         margin-right: auto;
  88         border: thin solid #c0c0c0;
  89 }
  90 div.caption {
  91         text-align: center;
  92         font-family: sans-serif;
  93         margin-left: auto;
  94         margin-right: auto;
  95         padding: 0.5ex;
  96 }
  97 img.figure {
  98         padding: 1ex;
  99 }
 100 table {
 101         text-align: center;
 102         border-collapse: collapse;
 103         margin-top: 1em;
 104         margin-bottom: 1em;
 105         margin-left: auto;
 106         margin-right: auto;
 107 }
 108 tr.header {
 109         border-bottom: thin solid #c0c0c0;
 110         background: #ffffff;
 111         font-weight: bold;
 112 }
 113 td {
 114         padding: 1ex;
 115         border: thin solid #f0f0f0;
 116 }
 117 td div.Standard {
 118         margin: 0ex;
 119         padding: 0ex;
 120 }
 121 div.caption div.Standard, div.table div.Standard {
 122         margin: 0ex;
 123         padding: 0ex;
 124 }
 125 td.numeric {
 126         text-align: right;
 127 }
 128 td.empty {
 129         text-align: center;
 130 }
 131 .right {
 132         text-align: right;
 133 }
 134 .center {
 135         text-align: center;
 136         margin-left: auto;
 137         margin-right: auto;
 138 }
 139 p.biblio {
 140         font-size: 0.90em;
 141 }
 142 div.Paragraph, div.Paragraph- {
 143         font-weight: bold;
 144         font-size: 103%;
 145 }
 146 span.versalitas {
 147         font-variant: small-caps;
 148 }
 149 span.sans {
 150         font-family: sans-serif;
 151 }
 152 span.mathsf {
 153         font-family: sans-serif;
 154         font-style: normal;
 155 }
 156 span.red {
 157         color: #c00000;
 158 }
 159 span.blue {
 160         color: #0000c0;
 161 }
 162 span.green {
 163         color: #00c000;
 164 }
 165 span.magenta {
 166         color: #c000c0;
 167 }
 168 span.cyan {
 169         color: #00c0c0;
 170 }
 171 span.yellow {
 172         color: #c0c000;
 173 }
 174 span.white {
 175         color: #ffffff;
 176 }
 177 .formula {
 178         color: #000040;
 179         text-align: center;
 180 }
 181 div.formula {
 182         padding: 0.5ex;
 183         margin-left: auto;
 184         margin-right: auto;
 185 }
 186 span.overline {
 187         text-decoration: overline;
 188 }
 189 span.bar {
 190         text-decoration: overline;
 191 }
 192 .fraction {
 193         display: inline-block;
 194         position: relative;
 195         vertical-align: middle;
 196 }
 197 span.denominator {
 198         display: block;
 199         padding: 0;
 200         border-top: thin solid #000040;
 201 }
 202 span.sqrt {
 203         display: inline-block;
 204         vertical-align: middle;
 205 }
 206 span.radical {
 207         display: inline-block;
 208         padding: 0;
 209         font-size: 150%;
 210         vertical-align: top;
 211 }
 212 span.root {
 213         display: inline-block;
 214         border-top: thin #000040 solid;
 215         padding: 0;
 216         vertical-align: middle;
 217 }
 218 span.symbol {
 219         font-size: 125%;
 220 }
 221 span.bigsymbol {
 222         font-size: 150%;
 223 }
 224 span.limits {
 225         display: inline-table;
 226         vertical-align: middle;
 227 }
 228 sub.bigsymbol {
 229         display: table-row;
 230         text-align: left;
 231         line-height: 150%;
 232 }
 233 sup.bigsymbol {
 234         display: table-row;
 235         text-align: left;
 236         line-height: 150%;
 237 }
 238 span.symbolover {
 239         font-style: italic;
 240         text-align: center;
 241         position: relative;
 242         bottom: 0.4em;
 243         left: -1.3ex;
 244         padding: 0ex;
 245         width: 0ex;
 246         float: right;
 247 }
 248 span.withsymbol {
 249         display: inline-block;
 250 }
 251 span.dotted {
 252         border-top: thin #000040 dotted;
 253 }
 254 span.FootMarker {
 255         color: #004000;
 256 }
 257 span.Foot {
 258         float: right;
 259         clear: right;
 260         margin: 0.2ex;
 261         border: thin solid #c0c0c0;
 262         background: #ffffff;
 263         width: 30%;
 264         padding: 0.5ex;
 265         font: small normal;
 266         text-align: left;
 267 }
 268 span.Marginal {
 269         float: right;
 270         border: thin solid #c0c0c0;
 271         background: #ffffff;
 272         width: 25%;
 273         padding: 0.5ex;
 274         font: small normal;
 275 }
 276 span.Note {
 277         display: none;
 278 }
 279 span.code {
 280         font-family: monospace;
 281 }
 282 div.Plain {
 283         display: inline;
 284         width: auto;
 285 }
 286 h1.title {
 287         text-align: center;
 288 }
 289 h2.author {
 290         text-align: center;
 291 }
 292 span.text {
 293         font-style: normal;
 294 }
 295 span.textipa {
 296         color: #008080;
 297 }
 298 span.Description-entry {
 299         font-weight: bold;
 300 }
 301 span.List-entry {
 302         display: inline-block;
 303         width: 25%;
 304 }
 305 div.Space {
 306         display: none;
 307 }
 308 span.fraktur {
 309         font-family: blackletter;
 310 }
 311 span.blackboard {
 312         font-family: Blackboard, serif;
 313 }
 314 span.script {
 315         font-family: cursive;
 316 }
 317 span.arraydef {
 318         display: none;
 319 }
 320 span.appendix {
 321         display: none;
 322 }
 323 h1.biblio {
 324         font-size: 140%;
 325 }
 326 table.formula {
 327         display: inline-block;
 328         text-align: center;
 329         border-collapse: collapse;
 330         margin: 0em;
 331         vertical-align: middle;
 332 }
 333 td.formula-l {
 334         text-align: left;
 335         padding: 0.2ex;
 336         border: 0ex;
 337 }
 338 td.formula-c {
 339         text-align: center;
 340         padding: 0.2ex;
 341         border: 0ex;
 342 }
 343 td.formula-r {
 344         text-align: right;
 345         padding: 0.2ex;
 346         border: 0ex;
 347 }
 348 table.cases {
 349         display: inline-block;
 350         text-align: center;
 351         border-collapse: collapse;
 352         margin: 0.2em;
 353         border-left: thin solid #000040;
 354         vertical-align: middle;
 355 }
 356 table.cases tr td {
 357         padding-left: 1ex;
 358         padding-right: 1em;
 359 }
 360 span.greyedout {
 361         color: #808080;
 362 }
 363 div.Description, div.List, li {
 364         margin: 1em 0;
 365 }
 366 li.nested {
 367         list-style-type: none;
 368 }
 369 span.Info {
 370         background: #f0f0f0;
 371         border: thin solid #c0c0c0;
 372 }
 373 pre {
 374         padding: 0.2em 2em;
 375         margin-left: 1em;
 376         margin-right: auto;
 377         margin-top: 0em;
 378         margin-bottom: 0em;
 379         width: auto;
 380         font-family: monospace;
 381         line-height: 1.1em;
 382 }
 383 a.Label {
 384         text-decoration: none;
 385         color: #000000;
 386 }
 387 div.Date {
 388         text-align: center;
 389 }
 390 div.wrap-l, div.wrap-o, div.wrap-i {
 391         margin: 2ex;
 392         float: left;
 393 }
 394 div.wrap-r {
 395         margin: 2ex;
 396         float: right;
 397 }
 398 div.abstract {
 399         margin: 3em;
 400         text-align: center;
 401 }
 402 p.abstract-message {
 403         font-weight: bold;
 404 }
 405 div.listing {
 406         display: inline-block;
 407         text-align: left;
 408         margin-left: auto;
 409         margin-right: auto;
 410         border: thin solid #c0c0c0;
 411 }
 412 code.listing {
 413         white-space: pre;
 414 }
 415 div.framed {
 416         border: thin solid black;
 417 }
 418 div.frameless {
 419 }
 420 span.number-left {
 421         float: left;
 422         background: #f0f0f0;
 423         width: 3em;
 424         text-align: right;
 425         margin-right: 1em;
 426 }
 427 span.number-right {
 428         float: right;
 429         background: #f0f0f0;
 430         width: 3em;
 431         text-align: right;
 432         margin-left: 1em;
 433 }
 434 a.eqnumber {
 435         display: inline-block;
 436         float: right;
 437         font-weight: bold;
 438         color: #000040;
 439 }
 440 span.unknown {
 441         color: #800000;
 442 }