base-style.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179
  1. body {
  2. margin: 0;
  3. padding: 0;
  4. font-family: sans-serif;
  5. font-size: 12pt;
  6. }
  7. body, a, a:visited {
  8. color: #303030;
  9. }
  10. #content {
  11. padding-left: 50px;
  12. padding-right: 50px;
  13. padding-top: 30px;
  14. padding-bottom: 30px;
  15. }
  16. #content h1 {
  17. font-size: 160%;
  18. margin-bottom: 10px;
  19. }
  20. #footer {
  21. margin-top: 100px;
  22. font-size: 80%;
  23. white-space: nowrap;
  24. }
  25. #footer, #footer a {
  26. color: #a0a0a0;
  27. }
  28. #line-wrapping-toggle {
  29. vertical-align: middle;
  30. }
  31. #label-for-line-wrapping-toggle {
  32. vertical-align: middle;
  33. }
  34. ul {
  35. margin-left: 0;
  36. }
  37. h1, h2, h3 {
  38. white-space: nowrap;
  39. }
  40. h2 {
  41. font-size: 120%;
  42. }
  43. ul.tabLinks {
  44. padding-left: 0;
  45. padding-top: 10px;
  46. padding-bottom: 10px;
  47. overflow: auto;
  48. min-width: 800px;
  49. width: auto !important;
  50. width: 800px;
  51. }
  52. ul.tabLinks li {
  53. float: left;
  54. height: 100%;
  55. list-style: none;
  56. padding-left: 10px;
  57. padding-right: 10px;
  58. padding-top: 5px;
  59. padding-bottom: 5px;
  60. margin-bottom: 0;
  61. -moz-border-radius: 7px;
  62. border-radius: 7px;
  63. margin-right: 25px;
  64. border: solid 1px #d4d4d4;
  65. background-color: #f0f0f0;
  66. }
  67. ul.tabLinks li:hover {
  68. background-color: #fafafa;
  69. }
  70. ul.tabLinks li.selected {
  71. background-color: #c5f0f5;
  72. border-color: #c5f0f5;
  73. }
  74. ul.tabLinks a {
  75. font-size: 120%;
  76. display: block;
  77. outline: none;
  78. text-decoration: none;
  79. margin: 0;
  80. padding: 0;
  81. }
  82. ul.tabLinks li h2 {
  83. margin: 0;
  84. padding: 0;
  85. }
  86. div.tab {
  87. }
  88. div.selected {
  89. display: block;
  90. }
  91. div.deselected {
  92. display: none;
  93. }
  94. div.tab table {
  95. min-width: 350px;
  96. width: auto !important;
  97. width: 350px;
  98. border-collapse: collapse;
  99. }
  100. div.tab th, div.tab table {
  101. border-bottom: solid #d0d0d0 1px;
  102. }
  103. div.tab th {
  104. text-align: left;
  105. white-space: nowrap;
  106. padding-left: 6em;
  107. }
  108. div.tab th:first-child {
  109. padding-left: 0;
  110. }
  111. div.tab td {
  112. white-space: nowrap;
  113. padding-left: 6em;
  114. padding-top: 5px;
  115. padding-bottom: 5px;
  116. }
  117. div.tab td:first-child {
  118. padding-left: 0;
  119. }
  120. div.tab td.numeric, div.tab th.numeric {
  121. text-align: right;
  122. }
  123. span.code {
  124. display: inline-block;
  125. margin-top: 0em;
  126. margin-bottom: 1em;
  127. }
  128. span.code pre {
  129. font-size: 11pt;
  130. padding-top: 10px;
  131. padding-bottom: 10px;
  132. padding-left: 10px;
  133. padding-right: 10px;
  134. margin: 0;
  135. background-color: #f7f7f7;
  136. border: solid 1px #d0d0d0;
  137. min-width: 700px;
  138. width: auto !important;
  139. width: 700px;
  140. }
  141. span.wrapped pre {
  142. word-wrap: break-word;
  143. white-space: pre-wrap;
  144. word-break: break-all;
  145. }
  146. label.hidden {
  147. display: none;
  148. }