houston.css 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240
  1. body {
  2. margin:0px;
  3. padding:0px;
  4. font-family:arial, helvetica, sans-serif;
  5. background-color:white;
  6. color:black;
  7. }
  8. .banner
  9. {
  10. background-color:#330099;
  11. color: silver;
  12. margin: 0.5em 0.5em 0 0.5em;
  13. padding: 0.5em;
  14. height: 69px;
  15. }
  16. .banner img {
  17. float: left;
  18. border: 2px solid white;
  19. background-color: white;
  20. margin-right: 2em;
  21. }
  22. .right { text-align: right;}
  23. #footer
  24. {
  25. margin: 1em;
  26. font-size: smaller;
  27. font-style: italic;
  28. clear: both;
  29. border-top: 1px solid #330099;
  30. }
  31. #footer p {
  32. margin: 0;
  33. }
  34. h1, .heading {
  35. margin: 0;
  36. padding: 0;
  37. font-size:x-large;
  38. font-weight:900;
  39. background-color:transparent;
  40. }
  41. .heading {
  42. color:#330099;
  43. }
  44. .banner p {
  45. margin: 0.25em 0 0 6.5em;
  46. font-size:xx-large;
  47. padding: 0;
  48. font-weight:900;
  49. background-color:transparent;
  50. }
  51. h2, .subhead {
  52. margin: 0 0 1em 0;
  53. font-size: large;
  54. color: #000000;
  55. background-color:transparent;
  56. font-weight: normal;
  57. border-bottom:1px dashed black;
  58. }
  59. h3, .subsub {
  60. font-size: medium;
  61. color: #000000;
  62. background-color:transparent;
  63. font-weight: bold;
  64. }
  65. /* Support for sidebar text in-line. */
  66. #sidebar {
  67. float:right;
  68. background-color:#eee;
  69. color:black;
  70. border-style:solid;
  71. border-width:1px;
  72. padding:0 0.5em 0.5em 0.5em;
  73. margin-left: 1em;
  74. width:15em;
  75. max-width:40%;
  76. }
  77. #sidebar .subhead, #sidebar .heading {
  78. font-size: large;
  79. margin-top: 0.5em;
  80. margin-bottom: 0.5em;
  81. border-bottom:0;
  82. }
  83. #sidebar dd, #sidebar dt, #sidebar p, #sidebar ul {
  84. font-size: smaller;
  85. }
  86. #sidebar ul {
  87. margin-left: -0.5em;
  88. }
  89. #sidebar li {
  90. margin: 0 0.5em;
  91. }
  92. #sidebar dd {
  93. margin-left: 1em;
  94. margin-bottom: 0.5em;
  95. }
  96. #sidebar dd li {
  97. margin: 0 0 0 0.5em;
  98. padding: 0;
  99. }
  100. #outer {
  101. width: 100%;
  102. margin: 0;
  103. padding: 1em 0 1em 0.5em;
  104. background-color: white;
  105. }
  106. #navigation {
  107. float:left;
  108. width: 12em;
  109. margin: 0 2em 2em 0;
  110. padding: 0.5em 0 0.5em 0;
  111. background-color:#99f;
  112. border: 1px solid blue;
  113. }
  114. .menu {
  115. list-style: none;
  116. padding: 0;
  117. margin: 0;
  118. }
  119. .menu li a, .menu ul li a:visited {
  120. display: block;
  121. color: #309;
  122. background-color:#99f;
  123. text-decoration: none;
  124. margin: 0.2em;
  125. padding-left: 1em;
  126. }
  127. .menu li a:hover {
  128. color: #ccc;
  129. }
  130. .menu li {
  131. display: inline;
  132. margin: 0;
  133. padding: 0;
  134. }
  135. .menu .head {
  136. margin-left: 0.5em;
  137. color: #333;
  138. }
  139. #externlinks {
  140. margin-top: 2em;
  141. }
  142. .content {
  143. margin: 0 3em 0 15em;
  144. padding: 0;
  145. }
  146. .talk {
  147. margin: 1em 0 1em 0;
  148. }
  149. .talk .date {
  150. font-weight: bold;
  151. }
  152. .talk .abstract, .talk .topic, .talk .presenter, .talk .example, .talk .note {
  153. margin-left: 1em;
  154. }
  155. .talk .label {
  156. font-weight: bold;
  157. color: #333;
  158. }
  159. .talk .note {
  160. font-style: italic;
  161. font-size: smaller;
  162. }
  163. .talk .topic {
  164. margin-top: 0.5em;
  165. }
  166. .talk a {
  167. text-decoration: none;
  168. }
  169. .talk .abstract, .talk .example {
  170. margin-top: 0.5em;
  171. }
  172. .copyright img {
  173. float: left;
  174. margin: 0.2em 1em 0 0;
  175. }
  176. code {
  177. font-size: larger;
  178. }
  179. dd ul {
  180. list-style: none;
  181. margin: 0;
  182. padding: 0;
  183. }
  184. ul.bare {
  185. list-style: none;
  186. }
  187. .faq {
  188. margin-top: 1em;
  189. }
  190. .faq .question {
  191. padding: 0.5em 1em;
  192. background-color: #ccf;
  193. margin-bottom: 0.5em;
  194. }
  195. .faq .answer {
  196. padding-left: 2em;
  197. }