agogo.css 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328
  1. * {
  2. margin: 0px;
  3. padding: 0px;
  4. }
  5. body {
  6. font-family: "Verdana", Arial, sans-serif;
  7. line-height: 1.4em;
  8. font-size: 14px;
  9. color: black;
  10. background-color: #eeeeec;
  11. }
  12. /* Page layout */
  13. div.header, div.content, div.footer {
  14. width: 70em;
  15. margin-left: auto;
  16. margin-right: auto;
  17. }
  18. div.header-wrapper {
  19. background: url(bgtop.png) top left repeat-x;
  20. border-bottom: 3px solid #2e3436;
  21. }
  22. /* Default body styles */
  23. a {
  24. text-decoration: none;
  25. color: #ce5c00;
  26. }
  27. .clearer {
  28. clear: both;
  29. }
  30. .left {
  31. float: left;
  32. }
  33. .right {
  34. float: right;
  35. }
  36. h1, h2, h3, h4 {
  37. font-family: "Georgia", "Times New Roman", serif;
  38. font-weight: normal;
  39. color: #3465a4;
  40. margin-bottom: .8em;
  41. }
  42. h1 {
  43. color: #204a87;
  44. }
  45. h2 {
  46. padding-bottom: .5em;
  47. border-bottom: 1px solid #3465a4;
  48. }
  49. a.headerlink {
  50. visibility: hidden;
  51. color: #dddddd;
  52. padding-left: .3em;
  53. }
  54. h1:hover > a.headerlink,
  55. h2:hover > a.headerlink,
  56. h3:hover > a.headerlink,
  57. h4:hover > a.headerlink,
  58. h5:hover > a.headerlink,
  59. h6:hover > a.headerlink,
  60. dt:hover > a.headerlink {
  61. visibility: visible;
  62. }
  63. /* Header */
  64. div.header {
  65. padding-top: 10px;
  66. padding-bottom: 10px;
  67. }
  68. div.header h1 {
  69. font-family: "Georgia", "Times New Roman", serif;
  70. font-weight: normal;
  71. font-size: 160%;
  72. letter-spacing: .08em;
  73. }
  74. div.header h1 a {
  75. color: white;
  76. }
  77. div.header div.rel {
  78. margin-top: 1em;
  79. }
  80. div.header div.rel a {
  81. color: #fcaf3e;
  82. letter-spacing: .1em;
  83. text-transform: uppercase;
  84. }
  85. /* Content */
  86. div.content-wrapper {
  87. background-color: white;
  88. padding-top: 20px;
  89. padding-bottom: 20px;
  90. }
  91. div.document {
  92. width: 50em;
  93. float: left;
  94. }
  95. div.body {
  96. padding-right: 2em;
  97. text-align: justify;
  98. }
  99. div.document ul {
  100. margin-left: 1.2em;
  101. list-style-type: square;
  102. }
  103. div.document dd {
  104. margin-left: 1.2em;
  105. margin-top: .4em;
  106. margin-bottom: 1em;
  107. }
  108. div.document .section {
  109. margin-top: 1.7em;
  110. }
  111. div.document .section:first-child {
  112. margin-top: 0px;
  113. }
  114. div.document div.highlight {
  115. padding: 3px;
  116. background-color: #eeeeec;
  117. border-top: 2px solid #dddddd;
  118. border-bottom: 2px solid #dddddd;
  119. margin-top: .8em;
  120. margin-bottom: .8em;
  121. }
  122. div.document h2 {
  123. margin-top: .7em;
  124. }
  125. div.document p {
  126. margin-bottom: .5em;
  127. }
  128. div.document li.toctree-l1 {
  129. margin-bottom: 1em;
  130. }
  131. div.document .descname {
  132. font-weight: bold;
  133. }
  134. div.document .docutils.literal {
  135. background-color: #eeeeec;
  136. padding: 1px;
  137. }
  138. div.document .docutils.xref.literal {
  139. background-color: transparent;
  140. padding: 0px;
  141. }
  142. /* Sidebar */
  143. div.sidebar {
  144. width: 20em;
  145. float: right;
  146. font-size: .9em;
  147. }
  148. div.sidebar h3 {
  149. color: #2e3436;
  150. text-transform: uppercase;
  151. font-size: 130%;
  152. letter-spacing: .1em;
  153. }
  154. div.sidebar ul {
  155. list-style-type: none;
  156. }
  157. div.sidebar li.toctree-l1 a {
  158. display: block;
  159. padding: 1px;
  160. border: 1px solid #dddddd;
  161. background-color: #eeeeec;
  162. margin-bottom: .4em;
  163. padding-left: 3px;
  164. color: #2e3436;
  165. }
  166. div.sidebar li.toctree-l2 a {
  167. background-color: transparent;
  168. border: none;
  169. border-bottom: 1px solid #dddddd;
  170. }
  171. div.sidebar li.toctree-l2:last-child a {
  172. border-bottom: none;
  173. }
  174. div.sidebar li.toctree-l1.current a {
  175. border-right: 5px solid #fcaf3e;
  176. }
  177. div.sidebar li.toctree-l1.current li.toctree-l2 a {
  178. border-right: none;
  179. }
  180. /* Footer */
  181. div.footer-wrapper {
  182. background: url(bgfooter.png) top left repeat-x;
  183. border-top: 4px solid #babdb6;
  184. padding-top: 10px;
  185. padding-bottom: 10px;
  186. min-height: 80px;
  187. }
  188. div.footer, div.footer a {
  189. color: #888a85;
  190. }
  191. div.footer .right {
  192. text-align: right;
  193. }
  194. div.footer .left {
  195. text-transform: uppercase;
  196. }
  197. /* Styles copied form basic theme */
  198. /* -- search page ----------------------------------------------------------- */
  199. ul.search {
  200. margin: 10px 0 0 20px;
  201. padding: 0;
  202. }
  203. ul.search li {
  204. padding: 5px 0 5px 20px;
  205. background-image: url(file.png);
  206. background-repeat: no-repeat;
  207. background-position: 0 7px;
  208. }
  209. ul.search li a {
  210. font-weight: bold;
  211. }
  212. ul.search li div.context {
  213. color: #888;
  214. margin: 2px 0 0 30px;
  215. text-align: left;
  216. }
  217. ul.keywordmatches li.goodmatch a {
  218. font-weight: bold;
  219. }
  220. /* -- index page ------------------------------------------------------------ */
  221. table.contentstable {
  222. width: 90%;
  223. }
  224. table.contentstable p.biglink {
  225. line-height: 150%;
  226. }
  227. a.biglink {
  228. font-size: 1.3em;
  229. }
  230. span.linkdescr {
  231. font-style: italic;
  232. padding-top: 5px;
  233. font-size: 90%;
  234. }
  235. /* -- general index --------------------------------------------------------- */
  236. table.indextable td {
  237. text-align: left;
  238. vertical-align: top;
  239. }
  240. table.indextable dl, table.indextable dd {
  241. margin-top: 0;
  242. margin-bottom: 0;
  243. }
  244. table.indextable tr.pcap {
  245. height: 10px;
  246. }
  247. table.indextable tr.cap {
  248. margin-top: 10px;
  249. background-color: #f2f2f2;
  250. }
  251. img.toggler {
  252. margin-right: 3px;
  253. margin-top: 3px;
  254. cursor: pointer;
  255. }