base-style.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161
  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. ul {
  29. margin-left: 0;
  30. }
  31. h1, h2, h3 {
  32. white-space: nowrap;
  33. }
  34. h2 {
  35. font-size: 120%;
  36. }
  37. ul.tabLinks {
  38. padding-left: 0;
  39. padding-top: 10px;
  40. padding-bottom: 10px;
  41. overflow: auto;
  42. min-width: 800px;
  43. width: auto !important;
  44. width: 800px;
  45. }
  46. ul.tabLinks li {
  47. float: left;
  48. height: 100%;
  49. list-style: none;
  50. padding-left: 10px;
  51. padding-right: 10px;
  52. padding-top: 5px;
  53. padding-bottom: 5px;
  54. margin-bottom: 0;
  55. -moz-border-radius: 7px;
  56. border-radius: 7px;
  57. margin-right: 25px;
  58. border: solid 1px #d4d4d4;
  59. background-color: #f0f0f0;
  60. }
  61. ul.tabLinks li:hover {
  62. background-color: #fafafa;
  63. }
  64. ul.tabLinks li.selected {
  65. background-color: #c5f0f5;
  66. border-color: #c5f0f5;
  67. }
  68. ul.tabLinks a {
  69. font-size: 120%;
  70. display: block;
  71. outline: none;
  72. text-decoration: none;
  73. margin: 0;
  74. padding: 0;
  75. }
  76. ul.tabLinks li h2 {
  77. margin: 0;
  78. padding: 0;
  79. }
  80. div.tab {
  81. }
  82. div.selected {
  83. display: block;
  84. }
  85. div.deselected {
  86. display: none;
  87. }
  88. div.tab table {
  89. min-width: 350px;
  90. width: auto !important;
  91. width: 350px;
  92. border-collapse: collapse;
  93. }
  94. div.tab th, div.tab table {
  95. border-bottom: solid #d0d0d0 1px;
  96. }
  97. div.tab th {
  98. text-align: left;
  99. white-space: nowrap;
  100. padding-left: 6em;
  101. }
  102. div.tab th:first-child {
  103. padding-left: 0;
  104. }
  105. div.tab td {
  106. white-space: nowrap;
  107. padding-left: 6em;
  108. padding-top: 5px;
  109. padding-bottom: 5px;
  110. }
  111. div.tab td:first-child {
  112. padding-left: 0;
  113. }
  114. div.tab td.numeric, div.tab th.numeric {
  115. text-align: right;
  116. }
  117. span.code {
  118. display: inline-block;
  119. margin-top: 0em;
  120. margin-bottom: 1em;
  121. }
  122. span.code pre {
  123. font-size: 11pt;
  124. padding-top: 10px;
  125. padding-bottom: 10px;
  126. padding-left: 10px;
  127. padding-right: 10px;
  128. margin: 0;
  129. background-color: #f7f7f7;
  130. border: solid 1px #d0d0d0;
  131. min-width: 700px;
  132. width: auto !important;
  133. width: 700px;
  134. }