GLSysHelp.css 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596
  1. /* pasdoc.css
  2. Styles used by PasDoc to generate HTML / Compiled HTML Documentation.*/
  3. /* start css.sty */
  4. .cmr-10x-x-109{}
  5. .cmr-17{font-size:154%;}
  6. .cmr-12{font-size:109%;}
  7. .cmtt-10x-x-109{font-family: monospace;}
  8. .cmti-10x-x-109{ font-style: italic;}
  9. .cmsy-10x-x-109{}
  10. .cmbx-10x-x-109{ font-weight: bold;}
  11. .cmmi-10x-x-109{font-style: italic;}
  12. p.noindent { text-indent: 0em }
  13. p.nopar { text-indent: 0em; }
  14. p.indent{ text-indent: 1.5em }
  15. @media print {div.crosslinks {visibility:hidden;}}
  16. a img { border-top: 0; border-left: 0; border-right: 0; }
  17. center { margin-top:1em; margin-bottom:1em; }
  18. td center { margin-top:0em; margin-bottom:0em; }
  19. .Canvas { position:relative; }
  20. img.math{vertical-align:middle;}
  21. li p.indent { text-indent: 0em }
  22. .obeylines-h,.obeylines-v {white-space: nowrap; }
  23. div.obeylines-v p { margin-top:0; margin-bottom:0; }
  24. .overline{ text-decoration:overline; }
  25. .overline img{ border-top: 1px solid black; }
  26. td.displaylines {text-align:center; white-space:nowrap;}
  27. .centerline {text-align:center;}
  28. .rightline {text-align:right;}
  29. div.verbatim {font-family: monospace; white-space: nowrap; }
  30. span.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
  31. table.minipage{width:100%;}
  32. div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
  33. div.center div {text-align: left;}
  34. div.flushright, div.flushright div.flushright {text-align: right;}
  35. div.flushright div {text-align: left;}
  36. div.flushleft {text-align: left;}
  37. .underline{ text-decoration:underline; }
  38. .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
  39. .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
  40. .framebox-c {text-align:center;}
  41. .framebox-l {text-align:left;}
  42. .framebox-r {text-align:right;}
  43. span.thank-mark{ vertical-align: super }
  44. div.array {text-align:center;}
  45. div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em;}
  46. table.tabular td p{margin-top:0em;}
  47. div.td00{ margin-left:0pt; margin-right:0pt; }
  48. div.td01{ margin-left:0pt; margin-right:5pt; }
  49. div.td10{ margin-left:5pt; margin-right:0pt; }
  50. div.td11{ margin-left:5pt; margin-right:5pt; }
  51. td.td00{ padding-left:0pt; padding-right:0pt; }
  52. td.td01{ padding-left:0pt; padding-right:5pt; }
  53. td.td10{ padding-left:5pt; padding-right:0pt; }
  54. td.td11{ padding-left:5pt; padding-right:5pt; }
  55. .hline hr, .cline hr{ height : 1px; }
  56. .tabbing-right {text-align:right;}
  57. div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
  58. span.TEX {letter-spacing: -0.125em; }
  59. span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
  60. a span.TEX span.E {text-decoration: none; }
  61. span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
  62. span.LATEX span.TEX{ position:relative; left: -0.4em; }
  63. .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
  64. .marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
  65. div.float img, div.float .caption {text-align:center;}
  66. div.figure img, div.figure .caption {text-align:center;}
  67. .equation td{text-align:center; }
  68. td.equation { margin-top:1em; margin-bottom:1em; }
  69. td.eqnarray4 { width:5%; white-space: normal; }
  70. td.eqnarray2 { width:5%; }
  71. table.eqnarray-star, table.eqnarray {width:100%;}
  72. div.eqnarray{text-align:center;}
  73. div.pmatrix {text-align:center;}
  74. span.pmatrix img{vertical-align:middle;}
  75. div.pmatrix {text-align:center;}
  76. img.cdots{vertical-align:middle;}
  77. .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
  78. .caption td.id{font-weight: bold; white-space: nowrap; }
  79. table.caption {text-align:center;}
  80. h1.partHead{text-align: center}
  81. p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
  82. p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
  83. .paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
  84. .subparagraphHead, .likesubparagraphHead { font-weight: bold;}
  85. .quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
  86. .verse{white-space:nowrap; margin-left:2em}
  87. div.maketitle {text-align:center;}
  88. h2.titleHead{text-align:center;}
  89. div.maketitle{ margin-bottom: 2em; }
  90. div.author, div.date {text-align:center;}
  91. div.thanks{text-align:left; margin-left:10%; font-size:80%; font-style:italic; }
  92. div.author{white-space: nowrap;}
  93. .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
  94. .abstract p {margin-left:5%; margin-right:5%;}
  95. /* end css.sty */