iostreams.css 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220
  1. /*
  2. * (C) Copyright 2008 CodeRage, LLC (turkanis at coderage dot com)
  3. * (C) Copyright 2004-2007 Jonathan Turkanis
  4. * Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. * file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt.)
  6. *
  7. * Adapted Boost.Spirit stylesheet (www.boost.org/libs/spirit)
  8. */
  9. BODY
  10. {
  11. background-color: #FFFFFF;
  12. margin: 1em 2em 1em 2em;
  13. }
  14. H1, H2, H3, H4, H5, H6
  15. {
  16. font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
  17. font-weight: bold;
  18. text-align: left;
  19. color: black
  20. }
  21. H1 { text-align: left }
  22. H2 { font-size: 140% }
  23. H3 { font-size: 120% }
  24. H5 { font-style: italic }
  25. H6 { font-variant: small-caps }
  26. A: { text-decoration:none }
  27. A:link { text-decoration:none }
  28. A:visited { text-decoration:none }
  29. A:active { text-decoration:none }
  30. A:hover { text-decoration:underline }
  31. DL
  32. {
  33. margin-top:0;margin-bottom:0;
  34. padding-top:0;padding-bottom:0
  35. }
  36. DT DL { margin-left:2em; }
  37. PRE
  38. {
  39. border-top: gray 1pt solid;
  40. border-right: gray 1pt solid;
  41. border-left: gray 1pt solid;
  42. border-bottom: gray 1pt solid;
  43. padding-top: 2pt;
  44. padding-right: 2pt;
  45. padding-left: 2pt;
  46. padding-bottom: 2pt;
  47. display: block;
  48. font-family: "courier new", courier, mono;
  49. background-color: #eeeeee; font-size: small
  50. }
  51. PRE.plain_code
  52. {
  53. font-size: 100%;
  54. background-color:#FFFFFF;
  55. border:none;
  56. margin:0;
  57. padding:0
  58. }
  59. PRE.plain
  60. {
  61. font-family: "Times New Roman", Times, serif
  62. font-size: 100%;
  63. background-color:#FFFFFF;
  64. border:none;
  65. margin:0;
  66. padding:0
  67. }
  68. PRE.broken_ie
  69. {
  70. font-size: 10pt
  71. }
  72. /* H3 CODE { font-size: 120% } */
  73. CODE
  74. {
  75. font-family: "Courier New", Courier, mono
  76. }
  77. P CODE { font-size: 80% }
  78. T CODE { font-size: 80% }
  79. TD CODE { font-size: 80% }
  80. TH CODE { font-size: 80% }
  81. DL CODE { font-size: 80% }
  82. DT CODE { font-size: 80% }
  83. UL CODE { font-size: 80% }
  84. OL CODE { font-size: 80% }
  85. H3 CODE { font-size: 105% }
  86. H4 CODE { font-size: 105% }
  87. TT
  88. {
  89. display: inline;
  90. font-family: "Courier New", Courier, mono;
  91. color: #000099;
  92. font-size: small
  93. }
  94. P
  95. {
  96. font-family: "Times New Roman", Times, serif
  97. }
  98. UL
  99. {
  100. font-family: "Times New Roman", Times, serif
  101. }
  102. OL
  103. {
  104. font-family: "Times New Roman", Times, serif
  105. }
  106. UL LI
  107. {
  108. list-style-type: square;
  109. list-style-image: url("wedge.gif");
  110. }
  111. TABLE { margin-left:2em }
  112. TABLE.concept { margin-left:0 }
  113. /* LI.square { list-style-type: square } */
  114. /* A.footnote_ref { text-decoration: none } */
  115. /* A.bib_ref { text-decoration: none } */
  116. A.caption_ref::visited { color: black }
  117. A::visited { color: #3344cc }
  118. H4.banner { margin:.3em }
  119. TD.banner { text-align:center }
  120. A.banner
  121. {
  122. color: black;
  123. font-size: 120%
  124. font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
  125. font-weight: bold;
  126. text-decoration:none
  127. }
  128. .menu
  129. {
  130. color: black;
  131. font-size: 70%;
  132. font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
  133. font-weight: bold;
  134. text-decoration:none;
  135. }
  136. A.menu:visited { color: black; }
  137. .menu_disabled
  138. {
  139. color: #999999;
  140. font-size: 70%;
  141. font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
  142. font-weight: bold;
  143. text-decoration:none;
  144. }
  145. DIV.nav { text-align: right; padding-top: 0.3em }
  146. .nav A { padding-left: 0.3em }
  147. .title { text-align: center; margin:1.5em }
  148. .literal { color: #790000; /*#444444; font-style: italic*/}
  149. .numeric_literal { color: #990000}
  150. .keyword { color: #0000CC; /*#000080 font-weight: bold;*/ }
  151. .library { font-weight: bold; color: #000000}
  152. .documented { font-weight: bold; color: #000000}
  153. A.documented::visited { font-weight: bold; color: #000000; text-decoration:none}
  154. .defined { font-weight: bold; color: #525252}
  155. .comment { font-style: italic; color: #008000}
  156. .special { color: #800040}
  157. .preprocessor { color: #008000}
  158. .string { font-style: italic; color: #666666}
  159. .copyright { font-size: small}
  160. .white_bkd { background-color: #FFFFFF}
  161. .dk_grey_bkd { background-color: #999999}
  162. .quotes { color: #666666; font-style: italic; font-weight: bold}
  163. .omitted { color: #007236; font-style: italic }
  164. .banner { text-align: center }
  165. /* .header { text-decoration: none } */
  166. .semantics { font-weight:bold }
  167. .caption
  168. {
  169. font-size: 65%;
  170. font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif
  171. }
  172. .caption_ref
  173. {
  174. font-size: 80%;
  175. font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
  176. font-weight: bold;
  177. color: black;
  178. text-decoration: none
  179. }
  180. .term
  181. {
  182. font-weight: bold;
  183. font-style: italic
  184. }
  185. .copyright
  186. {
  187. font: 80%/120%;
  188. margin:0
  189. }