style-13112022.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169
  1. body, table {
  2. font: 12px/20px Verdana, Arial, Helvetica, sans-serif;
  3. }
  4. pre {
  5. padding: 8px;
  6. border: 1px dashed #999999;
  7. background-color: #f1f1f1;
  8. font: 13px/20px "Courier New", Courier, monospace;
  9. }
  10. .version {
  11. color: #307fe1;
  12. font-weight: bold;
  13. }
  14. .codeword {
  15. color: #3333ff;
  16. }
  17. .attrib {
  18. color: #404040;
  19. }
  20. .warn {
  21. color: red;
  22. }
  23. .option {
  24. font-family: "Courier New", Courier, monospace;
  25. font-weight: bold;
  26. }
  27. dt {
  28. margin-top: 1.5em;
  29. color: #404040;
  30. font-size: 115%;
  31. border-bottom: 1px solid #cccccc;
  32. }
  33. dd {
  34. margin-left: 1em;
  35. }
  36. .warn, ul.changes em {
  37. color: #ff0000;
  38. }
  39. table {
  40. margin-top: 1em;
  41. padding: 0;
  42. border: 1px solid #999999;
  43. border-collapse: collapse;
  44. text-align: center;
  45. }
  46. table th {
  47. padding: 2px 4px;
  48. border: 1px solid #999999;
  49. background-color: #f1f1f1;
  50. }
  51. table td {
  52. padding: 2px 4px;
  53. border: 1px solid #999999;
  54. }
  55. .description {
  56. text-align: left;
  57. }
  58. #container {
  59. width: 90%;
  60. margin: 10px auto;
  61. border-width: 0;
  62. background-color: #ffffff;
  63. }
  64. #top {
  65. padding: 0.5em;
  66. background-color: #ffffff;
  67. }
  68. #top h1 {
  69. margin: 0;
  70. padding: 0;
  71. }
  72. .sidebar {
  73. float: left;
  74. width: 170px;
  75. margin: 0;
  76. padding: 0.5em;
  77. background-color: #ffffff;
  78. }
  79. #leftnav ul {
  80. margin: 0;
  81. padding: 0;
  82. border: none;
  83. list-style-type: none;
  84. font-size: 115%;
  85. }
  86. #leftnav a {
  87. width: 170px;
  88. height: 1.6em;
  89. line-height: 1.6em;
  90. display: block;
  91. padding-left: 0.2em;
  92. }
  93. #leftnav a:link, #leftnav a:visited {
  94. text-decoration: none;
  95. color: #666666;
  96. }
  97. #leftnav a:hover {
  98. background-color: #307fe1;
  99. color: #ffffff;
  100. }
  101. #leftnav a.button {
  102. display: inline;
  103. }
  104. #leftnav a.button:hover {
  105. background-color: transparent;
  106. }
  107. #content {
  108. max-width: 52em;
  109. margin-left: 190px;
  110. padding: 1em;
  111. border-left: 1px solid #cccccc;
  112. background-color: #ffffff;
  113. }
  114. #content ul {
  115. list-style-image: url('bullet.gif');
  116. }
  117. #content a:link {
  118. text-decoration: none;
  119. color: #307fe1;
  120. }
  121. #content a:visited {
  122. text-decoration: none;
  123. color: #307fe1;
  124. }
  125. #content a:hover {
  126. color: #307fe1;
  127. text-decoration: underline;
  128. }
  129. #content h2 {
  130. font-size: 150%;
  131. }
  132. #content h2:first-child {
  133. margin: 0 0 0.5em;
  134. }
  135. .footer {
  136. clear: both;
  137. margin: 0;
  138. padding: 0.5em;
  139. background-color: #ffffff;
  140. color: #333333;
  141. text-align: center;
  142. font-size: 90%;
  143. }