docstyle.css 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209
  1. body {
  2. background-color:#FFFFFF;
  3. }
  4. .mainbody {
  5. color:#333333;
  6. line-height:150%;
  7. margin: 5px 30px 5px 30px;
  8. }
  9. a:link, a:active, a:hover {
  10. color:#CC6600;
  11. }
  12. a:visited {
  13. color:#DD9900;
  14. }
  15. p {
  16. color:#333333;
  17. line-height:150%;
  18. }
  19. pre {
  20. width: 100%;
  21. line-height:130%;
  22. white-space:pre;
  23. }
  24. pre.program {
  25. border-style:solid;
  26. border-width:1px;
  27. border-color:#6699FF;
  28. color:#333333;
  29. background-color:#DDEEFF;
  30. padding:8px 9px 8px 9px;
  31. margin:0px;
  32. word-break:break-all;
  33. }
  34. pre.terminal {
  35. border-style:solid;
  36. border-width:1;
  37. border-color:#999999;
  38. color:#333333;
  39. background-color:#E0E0E0;
  40. padding:9px 10px 9px 10px;
  41. margin:0px;
  42. word-break:break-all;
  43. }
  44. pre.output {
  45. border-style:solid;
  46. border-width:1px;
  47. border-color:#CCCCCC;
  48. color:#333333;
  49. background-color:#FFFFFF;
  50. padding:8px 9px 8px 9px;
  51. margin:0px;
  52. word-break:break-all;
  53. }
  54. pre strong {
  55. color: #990000;
  56. font-weight: bold;
  57. }
  58. .program_caption {
  59. margin-top: 20px;
  60. }
  61. .terminal_caption {
  62. margin-top: 20px;
  63. }
  64. .output_caption {
  65. margin-top: 20px;
  66. }
  67. ul,ol,dl {
  68. /* margin:0px; */
  69. /* padding:0px; */
  70. color:#333333;
  71. line-height:140%;
  72. }
  73. .dt2, .dt3 {
  74. font-weight:bold;
  75. }
  76. .table1 {
  77. padding:2px;
  78. color:#333333;
  79. background-color:#DDDDCC;
  80. line-height:130%;
  81. /*
  82. border-width:1px;
  83. border-style:solid;
  84. border-color:#FFFFFF;
  85. */
  86. margin:5;
  87. }
  88. .th1, .th2 {
  89. padding:1px;
  90. color:#333333;
  91. /* background-color:#DDDDCC; */
  92. background-color:#CCCCBB;
  93. line-height:130%;
  94. }
  95. .td1, .th2 {
  96. padding:1px;
  97. color:#333333;
  98. background-color:#EEEEDD;
  99. line-height:130%;
  100. }
  101. .caption1, .caption2 {
  102. /* font-size:x-small; */
  103. color:#333333;
  104. }
  105. .table2 {
  106. padding:1px;
  107. color:#333333;
  108. background-color:#DDDDCC;
  109. line-height:130%;
  110. /*
  111. border-width:1px;
  112. border-style:solid;
  113. border-color:#FFFFFF;
  114. */
  115. margin:5;
  116. }
  117. h1, .chapter, .doctitle {
  118. color:#333333;
  119. font-weight:bold;
  120. padding:30px 0px 10px 0px;
  121. }
  122. h2, .section {
  123. color:#333333;
  124. font-weight:bold;
  125. border-style:solid;
  126. border-color:#6699FF;
  127. border-width:0px 0px 2px 30px;
  128. padding:10px 20px 0px 5px;
  129. }
  130. h3, .subsection {
  131. color:#333333;
  132. font-weight:bold;
  133. border-style:solid;
  134. border-color:#6699FF;
  135. border-width: 0px 0px 0px 15px;
  136. padding: 10px 20px 0px 5px;
  137. }
  138. .em {
  139. font-weight:bold;
  140. }
  141. .toc {
  142. /* font-size:small; */
  143. /* line-height:100%; */
  144. }
  145. .footnote {
  146. font-size:small;
  147. }
  148. div.note, div.tips {
  149. background-color:#FFFFDD;
  150. border-style:solid;
  151. border-width:0px 1px 0px 1px;
  152. border-color:#DDDD66;
  153. color:#333300;
  154. /* font-size:small; */
  155. line-height:120%;
  156. margin-top: 10px;
  157. padding: 5px 20px 5px 20px;
  158. }
  159. div.note span.caption, div.tips span.caption {
  160. color: #C60;
  161. }
  162. .figure {
  163. /*
  164. border-width:1px;
  165. border-color:#DDDD66;
  166. white-space:pre;
  167. */
  168. }
  169. strong {
  170. color: #630;
  171. font-weight; bold;
  172. }
  173. em {
  174. font-style: italic;
  175. }