1/* 2* eLyXer -- convert LyX source files to HTML output. 3* 4* Copyright (C) 2009-2010 Alex Fernández 5* 6* This program is free software: you can redistribute it and/or modify 7* it under the terms of the GNU General Public License as published by 8* the Free Software Foundation, either version 3 of the License, or 9* (at your option) any later version. 10* 11* This program is distributed in the hope that it will be useful, 12* but WITHOUT ANY WARRANTY; without even the implied warranty of 13* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14* GNU General Public License for more details. 15* 16* You should have received a copy of the GNU General Public License 17* along with this program. If not, see http://www.gnu.org/licenses/. 18*/ 19/* --end-- 20* Global CSS file for LyX documents. 21*/ 22 23body { 24 font: 90% sans-serif; 25 background: #f9f9f9; 26 color: black; 27 margin: 0; 28 padding: 0; 29} 30 31#globalWrapper { 32 margin: 10px 5%; 33 padding: 20px; 34 background: #ffffff; 35 line-height: 1.5em; 36} 37 38/* Basic styles */ 39a { 40 text-decoration: none; 41 background: none; 42} 43a:link { 44 color: #0030c0; 45} 46a:visited { 47 color: #603090; 48} 49a:active { 50 color: #ffa000; 51} 52a:hover { 53 text-decoration: underline; 54} 55h1 { 56 margin-top: 1em; 57 line-height: 1.5em; 58} 59h1.Part { 60 text-align: center; 61} 62h1.Part- { 63 text-align: center; 64} 65sup { 66 font-size: 0.75em; 67 line-height: 0.5em; 68 vertical-align: text-top; 69} 70sub { 71 font-size: 0.75em; 72 line-height: 0.5em; 73 vertical-align: text-bottom; 74} 75div.Standard { 76 margin: 1em 0; 77} 78div.Unindented { 79 margin: 0; 80} 81div.Indented { 82 text-indent: 30pt; 83 margin: 0; 84} 85div.Indented * { 86 text-indent: 0pt; 87} 88p.dir { 89 float: right; 90} 91p.printindex { 92 font-size: 0.90em; 93} 94a.printindex { 95 color: black; 96} 97table { 98 display: inline-table; 99 text-align: center; 100 border-collapse: collapse; 101 margin-top: 1em; 102 margin-bottom: 1em; 103} 104tr.header { 105 border-bottom: thin solid #c0c0c0; 106 background: #ffffff; 107 font-weight: bold; 108} 109td { 110 padding: 1ex; 111 border: thin solid #f0f0f0; 112} 113td div.Standard { 114 margin: 0ex; 115 padding: 0ex; 116} 117div.caption div.Standard, div.table div.Standard { 118 margin: 0ex; 119 padding: 0ex; 120} 121td.numeric { 122 text-align: right; 123} 124td.empty { 125 text-align: center; 126} 127div.right { 128 text-align: right; 129} 130div.center { 131 text-align: center; 132 margin-left: auto; 133 margin-right: auto; 134} 135p.biblio { 136} 137div.Paragraph, div.Paragraph- { 138 font-weight: bold; 139 font-size: 103%; 140} 141span.versalitas, span.noun { 142 font-variant: small-caps; 143} 144span.sans { 145 font-family: sans-serif; 146} 147span.code { 148 font-family: monospace; 149} 150div.Plain { 151 display: inline; 152 width: auto; 153} 154h2 { 155 line-height: 1.4em; 156} 157span.Description-entry { 158 font-weight: bold; 159} 160span.List-entry { 161 display: inline-block; 162 width: 25%; 163 vertical-align: text-top; 164} 165span.List-contents { 166 display: inline-block; 167 width: 75%; 168 vertical-align: text-top; 169} 170div.Space { 171 display: none; 172} 173span.appendix { 174 display: none; 175} 176h1.biblio { 177} 178span.greyedout { 179 color: #808080; 180} 181div.Description, div.List, li { 182 margin: 1em 0; 183} 184li.nested { 185 list-style-type: none; 186} 187span.Info { 188 background: #f0f0f0; 189 border: thin solid #c0c0c0; 190} 191pre { 192 padding: 0em; 193 margin: 0em; 194 width: auto; 195 font-family: monospace; 196 line-height: 1.5em; 197} 198pre.LyX-Code { 199 margin: 0.5em 3em; 200} 201a.Label { 202 text-decoration: none; 203 color: #000000; 204} 205span.phantom { 206 color: #ffffff; 207} 208a.biblioentry { 209 color: black; 210} 211span.menuitem { 212 font-size: 105%; 213} 214span.normal { 215 font-style: normal; 216} 217div.PlainVisible { 218 width: auto; 219} 220div.indexgroup { 221 margin-left: 2em; 222} 223span.strong { 224 font-weight: bold; 225} 226 227/* Figures and Tables */ 228img.embedded { 229 width: 100%; 230 _width: auto; 231} 232div.float { 233 margin-top: 1ex; 234 margin-bottom: 1ex; 235 text-align: center; 236} 237span.float { 238 margin-top: 1ex; 239 margin-bottom: 1ex; 240 text-align: center; 241} 242div.figure { 243 display: inline-block; 244 text-align: left; 245 padding: 1ex; 246 margin-left: auto; 247 margin-right: auto; 248 border: thin solid #c0c0c0; 249} 250div.table { 251 display: inline-block; 252 text-align: left; 253 padding: 1ex; 254 margin-left: auto; 255 margin-right: auto; 256 border: thin solid #c0c0c0; 257} 258div.algorithm { 259 display: inline-block; 260 text-align: left; 261 padding: 1ex; 262 margin-left: auto; 263 margin-right: auto; 264 border: thin solid #c0c0c0; 265} 266div.caption { 267 text-align: center; 268 font-family: sans-serif; 269 margin-left: auto; 270 margin-right: auto; 271 padding: 0.5ex; 272} 273img.figure { 274 width: 100%; 275 _width: auto; 276} 277div.multifigure { 278 padding: 1ex; 279 width: 100%; 280} 281div.multitable { 282 display: inline-block; 283 padding: 1ex; 284 margin-left: auto; 285 margin-right: auto; 286 border: thin solid #c0c0c0; 287} 288div.multialgorithm { 289 display: inline-block; 290 padding: 1ex; 291 margin-left: auto; 292 margin-right: auto; 293 border: thin solid #c0c0c0; 294} 295div.wrap-l, div.wrap-o, div.wrap-i { 296 margin: 2ex; 297 float: left; 298} 299div.wrap-r { 300 margin: 2ex; 301 float: right; 302} 303div.listing { 304 display: inline-block; 305 text-align: left; 306 margin-left: auto; 307 margin-right: auto; 308 padding: 0.5ex; 309 border: thin solid #c0c0c0; 310} 311span.number-left { 312 float: left; 313 background: #f0f0f0; 314 width: 3em; 315 text-align: right; 316 margin-right: 1em; 317} 318span.number-right { 319 float: right; 320 background: #f0f0f0; 321 width: 3em; 322 text-align: right; 323 margin-left: 1em; 324} 325 326/* Header */ 327h1.title { 328 text-align: center; 329} 330h2.author { 331 text-align: center; 332} 333h2.Date { 334 text-align: center; 335} 336div.abstract { 337 margin: 1em 3em; 338 text-align: left; 339 font-size: 0.95em; 340} 341p.abstract-message { 342 text-align: center; 343 font-weight: bold; 344} 345div.tocheader { 346 margin: 1em 0; 347 font-size: large; 348} 349a.toc { 350 color: black; 351} 352div.tocindent { 353 padding: 0 0 0 2em; 354} 355div.toc { 356 margin: 0.5em 0; 357 font-size: 0.95em; 358} 359div.fulltoc { 360 padding: 1em; 361} 362div.warning { 363 font-size: 120%; 364 color:#cc0000; 365} 366div.Institute { 367 text-align: center; 368} 369/* 370* Extras: colors, footnotes, boxes, spaces... 371*/ 372 373/* Raw colors */ 374span.red { 375 color: #c00000; 376} 377span.blue { 378 color: #0000c0; 379} 380span.green { 381 color: #00c000; 382} 383span.magenta { 384 color: #c000c0; 385} 386span.cyan { 387 color: #00c0c0; 388} 389span.yellow { 390 color: #c0c000; 391} 392span.white { 393 color: #ffffff; 394} 395 396/* Footnotes */ 397span.SupFootMarker { 398 color: #0030c0; 399 font-size: 0.75em; 400 line-height: 0.5em; 401 vertical-align: text-top; 402} 403span.AlignFootMarker { 404 color: #0030c0; 405} 406div.EndFoot { 407 margin: 0.2ex; 408 background: #ffffff; 409 padding: 0.5ex; 410 font-size: small; 411 font-weight: normal; 412 line-height: 1.5em; 413 text-align: left; 414} 415span.MarginFoot { 416 float: right; 417 clear: right; 418 margin: 0.2ex; 419 border: thin solid #c0c0c0; 420 background: #ffffff; 421 width: 30%; 422 padding: 0.5ex; 423 font-size: small; 424 font-weight: normal; 425 line-height: 1.5em; 426 text-align: left; 427} 428span.HoverFoot { 429 margin: 0.2ex; 430 border: thin solid #c0c0c0; 431 background: #ffffff; 432 padding: 0.5ex; 433 font-size: small; 434 font-weight: normal; 435 line-height: 1.5em; 436 text-align: left; 437} 438span.FootOuter .HoverFoot { 439 display: none; 440 position: absolute; 441} 442span.FootOuter:hover .HoverFoot { 443 display: inline; 444 float: none; 445} 446span.Marginal { 447 float: right; 448 clear: right; 449 margin: 0.2ex; 450 border: thin solid #c0c0c0; 451 background: #ffffff; 452 width: 30%; 453 padding: 0.5ex; 454 font-size: small; 455 font-weight: normal; 456 line-height: 1.5em; 457 text-align: left; 458} 459span.Note { 460 display: none; 461} 462 463/* Boxes */ 464div.framed { 465 outline-style: solid; 466} 467div.frameless { 468} 469div.Frameless { 470} 471div.Boxed { 472 outline-width: thin; 473 outline-style: solid; 474} 475div.Framed { 476 outline-width: thin; 477 outline-style: solid; 478 line-height: 200%; 479} 480div.Doublebox { 481 outline-style: double; 482} 483div.Shadowbox { 484 outline-style: outset; 485 margin: 18px; 486} 487div.Shaded { 488 outline-style: inset; 489} 490div.ovalbox { 491 outline-style: groove; 492} 493div.Ovalbox { 494 outline-style: ridge; 495} 496hr.line { 497 display: inline-block; 498} 499 500/* Spaces */ 501span.hspace { 502 display: inline-block; 503} 504span.vspace { 505 display: inline-block; 506 vertical-align: text-top; 507} 508span.hfill { 509 display: inline-block; 510 margin-left: auto; 511 margin-right: auto; 512 min-width: 20mm; 513 background: #fff0f0; 514} 515div.defskip { 516 display: block; 517 height: 1em; 518} 519div.smallskip { 520 display: block; 521 height: 0.5em; 522} 523div.medskip { 524 display: block; 525 height: 1em; 526} 527div.bigskip { 528 display: block; 529 height: 2em; 530} 531div.vfill { 532 display: block; 533 height: 30em; 534} 535 536/* Sizes */ 537span.scriptstyle { 538 font-size: 0.75em; 539} 540span.scriptscriptstyle { 541 font-size: 0.60em; 542} 543 544/* Chunks */ 545div.chunk { 546 width: auto; 547} 548span.chunkleft span.chunkright { 549 font-style: normal; 550} 551span.chunkdecl { 552 font-style: italic; 553 padding: 0em 2em; 554} 555span.chunkref { 556 font-style: italic; 557} 558 559/* Split Part Navigation */ 560div.splitheader { 561 margin: 0em; 562 padding: 0.1em; 563 text-align: center; 564 background: #f9f9f9; 565 overflow: auto; 566} 567span.next { 568 float: right; 569 width: 30%; 570 text-align: right; 571} 572span.up { 573 display: inline-block; 574 width: 30%; 575 text-align: center; 576} 577span.prev { 578 float: left; 579 width: 30%; 580 text-align: left; 581} 582hr.footer { 583 margin-top: 2em; 584} 585div.footer { 586 font-size: 0.90em; 587 margin: 1em 0; 588} 589 590/* Change Tracking */ 591span.inserted { 592 color: #0000ff; 593} 594span.deleted { 595 color: #ff0000; 596 text-decoration: line-through; 597} 598 599/* Google Charts */ 600img.chart { 601 vertical-align: middle; 602} 603/* --end-- 604* CSS file for LaTeX formulas. 605*/ 606 607/* Formulas */ 608.formula { 609 text-align: center; 610 font-family: "DejaVu Serif", serif; 611 margin: 1.2em 0; 612} 613span.formula { 614 white-space: nowrap; 615} 616div.formula { 617 padding: 0.5ex; 618 margin-left: auto; 619 margin-right: auto; 620} 621 622/* Basic features */ 623a.eqnumber { 624 display: inline-block; 625 float: right; 626 clear: right; 627 font-weight: bold; 628} 629span.unknown { 630 color: #800000; 631} 632span.ignored, span.arraydef { 633 display: none; 634} 635.formula i { 636 letter-spacing: 0.1ex; 637} 638 639/* Alignment */ 640.align-left, .align-l { 641 text-align: left; 642} 643.align-right, .align-r { 644 text-align: right; 645} 646.align-center, .align-c { 647 text-align: center; 648} 649 650/* Structures */ 651span.overline, span.bar { 652 text-decoration: overline; 653} 654.fraction, .fullfraction { 655 display: inline-block; 656 vertical-align: middle; 657 text-align: center; 658} 659.fraction .fraction { 660 font-size: 80%; 661 line-height: 100%; 662} 663span.numerator { 664 display: block; 665} 666span.denominator { 667 display: block; 668 padding: 0ex; 669 border-top: thin solid; 670} 671sup.numerator, sup.unit { 672 font-size: 70%; 673 vertical-align: 80%; 674} 675sub.denominator, sub.unit { 676 font-size: 70%; 677 vertical-align: -20%; 678} 679span.sqrt { 680 display: inline-block; 681 vertical-align: middle; 682 padding: 0.1ex; 683} 684sup.root { 685 font-size: 70%; 686 position: relative; 687 left: 1.4ex; 688} 689span.radical { 690 display: inline-block; 691 padding: 0ex; 692 font-size: 150%; 693 vertical-align: top; 694} 695span.root { 696 display: inline-block; 697 border-top: thin solid; 698 padding: 0ex; 699 vertical-align: middle; 700} 701span.symbol { 702 font-size: 125%; 703} 704span.bigsymbol { 705 font-size: 150%; 706} 707span.largesymbol { 708 font-size: 175%; 709} 710span.hugesymbol { 711 font-size: 200%; 712} 713span.scripts { 714 display: inline-table; 715 vertical-align: middle; 716} 717.script { 718 display: table-row; 719 text-align: left; 720 line-height: 150%; 721} 722span.limits { 723 display: inline-table; 724 vertical-align: middle; 725} 726.limit { 727 display: table-row; 728 line-height: 95%; 729} 730sup.limit, sub.limit { 731 line-height: 150%; 732} 733span.symbolover { 734 display: inline-block; 735 text-align: center; 736 position: relative; 737 float: right; 738 right: 100%; 739 bottom: 0.5em; 740 width: 0px; 741} 742span.withsymbol { 743 display: inline-block; 744} 745span.symbolunder { 746 display: inline-block; 747 text-align: center; 748 position: relative; 749 float: right; 750 right: 80%; 751 top: 0.3em; 752 width: 0px; 753} 754 755/* Environments */ 756span.array, span.bracketcases, span.binomial, span.environment { 757 display: inline-table; 758 text-align: center; 759 border-collapse: collapse; 760 margin: 0em; 761 vertical-align: middle; 762} 763span.arrayrow, span.binomrow { 764 display: table-row; 765 padding: 0ex; 766 border: 0ex; 767} 768span.arraycell, span.bracket, span.case, span.binomcell, span.environmentcell { 769 display: table-cell; 770 padding: 0ex 0.2ex; 771 line-height: 99%; 772 border: 0ex; 773} 774/* 775* CSS file for LaTeX formulas, extra stuff: 776* binomials, vertical braces, stackrel, fonts and colors. 777*/ 778 779/* Inline binomials */ 780span.binom { 781 display: inline-block; 782 vertical-align: middle; 783 text-align: center; 784 font-size: 80%; 785} 786span.binomstack { 787 display: block; 788 padding: 0em; 789} 790 791/* Over- and underbraces */ 792span.overbrace { 793 border-top: 2pt solid; 794} 795span.underbrace { 796 border-bottom: 2pt solid; 797} 798 799/* Stackrel */ 800span.stackrel { 801 display: inline-block; 802 text-align: center; 803} 804span.upstackrel { 805 display: block; 806 padding: 0em; 807 font-size: 80%; 808 line-height: 64%; 809 position: relative; 810 top: 0.15em; 811 812} 813span.downstackrel { 814 display: block; 815 vertical-align: bottom; 816 padding: 0em; 817} 818 819/* Fonts */ 820span.mathsf, span.textsf { 821 font-style: normal; 822 font-family: sans-serif; 823} 824span.mathrm, span.textrm { 825 font-style: normal; 826 font-family: serif; 827} 828span.text, span.textnormal { 829 font-style: normal; 830} 831span.textipa { 832 color: #008080; 833} 834span.fraktur { 835 font-family: "Lucida Blackletter", eufm10, blackletter; 836} 837span.blackboard { 838 font-family: Blackboard, msbm10, serif; 839} 840span.scriptfont { 841 font-family: "Monotype Corsiva", "Apple Chancery", "URW Chancery L", cursive; 842 font-style: italic; 843} 844 845/* Colors */ 846span.colorbox { 847 display: inline-block; 848 padding: 5px; 849} 850span.fbox { 851 display: inline-block; 852 border: thin solid black; 853 padding: 2px; 854} 855span.boxed, span.framebox { 856 display: inline-block; 857 border: thin solid black; 858 padding: 5px; 859} 860 861/* 862* Obsolete definitions, kept for backwards compatibility. 863*/ 864 865/* Footnotes */ 866span.FootMarker { 867 color: #0030c0; 868 font-size: 0.75em; 869 line-height: 0.5em; 870 vertical-align: text-top; 871} 872span.Foot { 873 margin: 0.2ex; 874 border: thin solid #c0c0c0; 875 background: #ffffff; 876 padding: 0.5ex; 877 font-size: small; 878 font-weight: normal; 879 line-height: 1.5em; 880 text-align: left; 881} 882span.FootOuter .Foot { 883 display: none; 884 position: absolute; 885} 886span.FootOuter:hover .Foot { 887 display: inline; 888 float: none; 889} 890 891/* Dotted box */ 892span.dotted { 893 border-top: thin dotted; 894} 895 896/* Obsolete aligned structures */ 897span.numerator-l { 898 display: block; 899 text-align: left; 900} 901span.numerator-r { 902 display: block; 903 text-align: right; 904} 905span.numeratorl { 906 display: block; 907 text-align: left; 908} 909span.numeratorr { 910 display: block; 911 text-align: right; 912} 913span.framebox- { 914 display: inline-block; 915 border: thin solid black; 916 text-align: center; 917 padding: 5px; 918} 919span.framebox-l { 920 display: inline-block; 921 border: thin solid black; 922 text-align: left; 923 padding: 5px; 924} 925span.framebox-r { 926 display: inline-block; 927 border: thin solid black; 928 text-align: right; 929 padding: 5px; 930} 931td.formula-l { 932 text-align: left; 933 padding: 0.2ex; 934 border: 0ex; 935} 936td.formula-c { 937 text-align: center; 938 padding: 0.2ex; 939 border: 0ex; 940} 941td.formula-r { 942 text-align: right; 943 padding: 0.2ex; 944 border: 0ex; 945} 946 947/* Obsolete limits */ 948sub.bigsymbol { 949 display: table-row; 950 text-align: left; 951 line-height: 150%; 952} 953sup.bigsymbol { 954 display: table-row; 955 text-align: left; 956 line-height: 150%; 957} 958 959/* Obsolete cases */ 960table.cases { 961 display: inline-block; 962 text-align: center; 963 border-collapse: collapse; 964 margin: 0.2em; 965 border-left: thin solid; 966 vertical-align: middle; 967} 968table.cases tr td { 969 padding-left: 1ex; 970 padding-right: 1em; 971} 972 973/* Obsolete binomials */ 974span.fullbinom { 975 display: inline-block; 976 vertical-align: middle; 977 text-align: center; 978} 979span.upbinom { 980 display: block; 981 padding: 0em; 982} 983span.downbinom { 984 display: block; 985 padding: 0em; 986} 987 988/* Obsolete environments */ 989table.formula { 990 display: inline-block; 991 text-align: center; 992 border-collapse: collapse; 993 margin: 0em; 994 vertical-align: middle; 995} 996td.formula { 997 padding: 0.2ex; 998 border: 0ex; 999} 1000table.environment { 1001 display: inline-block; 1002 text-align: right; 1003 margin: 0; 1004 vertical-align: middle; 1005} 1006table.environment tr td { 1007 padding: 0 1em; 1008} 1009/* 1010* CSS section for print. 1011*/ 1012@media print { 1013body { 1014 font: 90% serif; 1015 background: #ffffff; 1016 color: black; 1017 margin: 0; 1018 padding: 0; 1019} 1020#globalWrapper { 1021 width: 100%; 1022 margin: 0px; 1023 padding: 0px; 1024 background: #ffffff; 1025 line-height: 1.5em; 1026} 1027span.FootOuter .Foot { 1028 display: block; 1029 position: relative; 1030 float: right; 1031 clear: right; 1032 margin: 0.2ex; 1033 border: thin solid #c0c0c0; 1034 background: #ffffff; 1035 width: 30%; 1036 padding: 0.5ex; 1037 font-size: small; 1038 font-weight: normal; 1039 line-height: 1.5em; 1040 text-align: left; 1041} 1042span.FootOuter .HoverFoot { 1043 display: block; 1044 position: relative; 1045 float: right; 1046 clear: right; 1047 margin: 0.2ex; 1048 border: thin solid #c0c0c0; 1049 background: #ffffff; 1050 width: 30%; 1051 padding: 0.5ex; 1052 font-size: small; 1053 font-weight: normal; 1054 line-height: 1.5em; 1055 text-align: left; 1056} 1057a:visited { 1058 color: #0030c0; 1059} 1060/* end of print CSS */ 1061} 1062