style.css 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179
  1. /* Use, modification and distribution is subject to the Boost Software License,
  2. Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  3. http://www.boost.org/LICENSE_1_0.txt)
  4. */
  5. body
  6. {
  7. background-image: url(bkd.gif);
  8. background-color: #FFFFFF;
  9. margin: 1em 2em 1em 2em;
  10. }
  11. h1 { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; text-align: left; }
  12. h2 { font: 140% sans-serif; font-weight: bold; text-align: left; }
  13. h3 { font: 120% sans-serif; font-weight: bold; text-align: left; }
  14. h4 { font: bold 100% sans-serif; font-weight: bold; text-align: left; }
  15. h5 { font: italic 100% sans-serif; font-weight: bold; text-align: left; }
  16. h6 { font: small-caps 100% sans-serif; font-weight: bold; text-align: left; }
  17. pre
  18. {
  19. border-top: gray 1pt solid;
  20. border-right: gray 1pt solid;
  21. border-left: gray 1pt solid;
  22. border-bottom: gray 1pt solid;
  23. padding-top: 2pt;
  24. padding-right: 2pt;
  25. padding-left: 2pt;
  26. padding-bottom: 2pt;
  27. display: block;
  28. font-family: "courier new", courier, mono;
  29. background-color: #eeeeee; font-size: small
  30. }
  31. code
  32. {
  33. font-family: "Courier New", Courier, mono;
  34. font-size: small
  35. }
  36. tt
  37. {
  38. display: inline;
  39. font-family: "Courier New", Courier, mono;
  40. color: #000099;
  41. font-size: small
  42. }
  43. p
  44. {
  45. text-align: justify;
  46. font-family: Georgia, "Times New Roman", Times, serif
  47. }
  48. ul
  49. {
  50. list-style-image: url(bullet.gif);
  51. font-family: Georgia, "Times New Roman", Times, serif
  52. }
  53. ol
  54. {
  55. font-family: Georgia, "Times New Roman", Times, serif
  56. }
  57. a
  58. {
  59. font-weight: bold;
  60. color: #003366;
  61. text-decoration: none;
  62. }
  63. a:hover { color: #8080FF; }
  64. .literal { color: #666666; font-style: italic}
  65. .keyword { color: #000099}
  66. .identifier {}
  67. .comment { font-style: italic; color: #990000}
  68. .special { color: #800040}
  69. .preprocessor { color: #990099}
  70. .string { font-style: italic; color: #666666}
  71. .copyright { color: #666666; font-size: small}
  72. .white_bkd { background-color: #FFFFFF}
  73. .dk_grey_bkd { background-color: #999999}
  74. .quotes { color: #666666; font-style: italic; font-weight: bold}
  75. .note_box
  76. {
  77. display: block;
  78. border-top: gray 1pt solid;
  79. border-right: gray 1pt solid;
  80. border-left: gray 1pt solid;
  81. border-bottom: gray 1pt solid;
  82. padding-right: 12pt;
  83. padding-left: 12pt;
  84. padding-bottom: 12pt;
  85. padding-top: 12pt;
  86. font-family: Arial, Helvetica, sans-serif;
  87. background-color: #E2E9EF;
  88. font-size: small; text-align: justify
  89. }
  90. .table_title
  91. {
  92. background-color: #648CCA;
  93. font-family: Verdana, Arial, Helvetica, sans-serif; color: #FFFFFF;
  94. font-weight: bold
  95. ; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 4px
  96. }
  97. .table_cells
  98. {
  99. background-color: #E2E9EF;
  100. font-family: Geneva, Arial, Helvetica, san-serif;
  101. font-size: small
  102. ; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 4px
  103. }
  104. .toc
  105. {
  106. DISPLAY: block;
  107. background-color: #E2E9EF
  108. font-family: Arial, Helvetica, sans-serif;
  109. border-top: gray 1pt solid;
  110. border-left: gray 1pt solid;
  111. border-bottom: gray 1pt solid;
  112. border-right: gray 1pt solid;
  113. padding-top: 24pt;
  114. padding-right: 24pt;
  115. padding-left: 24pt;
  116. padding-bottom: 24pt;
  117. }
  118. .toc_title
  119. {
  120. background-color: #648CCA;
  121. padding-top: 4px;
  122. padding-right: 4px;
  123. padding-bottom: 4px;
  124. padding-left: 4px;
  125. font-family: Geneva, Arial, Helvetica, san-serif;
  126. color: #FFFFFF;
  127. font-weight: bold
  128. }
  129. .toc_cells
  130. {
  131. background-color: #E2E9EF;
  132. padding-top: 4px;
  133. padding-right: 4px;
  134. padding-bottom: 4px;
  135. padding-left: 4px;
  136. font-family: Geneva, Arial, Helvetica, san-serif;
  137. font-size: small
  138. }
  139. div.logo
  140. {
  141. float: right;
  142. }
  143. .toc_cells_L0 { background-color: #E2E9EF; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 4px; font-family: Geneva, Arial, Helvetica, san-serif; font-size: small }
  144. .toc_cells_L1 { background-color: #E2E9EF; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 44px; font-family: Geneva, Arial, Helvetica, san-serif; font-size: small }
  145. .toc_cells_L2 { background-color: #E2E9EF; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 88px; font-family: Geneva, Arial, Helvetica, san-serif; font-size: small }
  146. .toc_cells_L3 { background-color: #E2E9EF; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 122px; font-family: Geneva, Arial, Helvetica, san-serif; font-size: small }
  147. .toc_cells_L4 { background-color: #E2E9EF; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 166px; font-family: Geneva, Arial, Helvetica, san-serif; font-size: small }
  148. .updated {
  149. font-size: x-small;
  150. color: #666666;
  151. font-style: italic;
  152. }