style.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266
  1. .synopsis, .classsynopsis
  2. {
  3. /* tango:aluminium 1/2 */
  4. background: #eeeeec;
  5. border: solid 1px #d3d7cf;
  6. padding: 0.5em;
  7. }
  8. .programlisting
  9. {
  10. /* tango:sky blue 0/1 */
  11. background: #e6f3ff;
  12. border: solid 1px #729fcf;
  13. padding: 0.5em;
  14. }
  15. .variablelist
  16. {
  17. padding: 4px;
  18. margin-left: 3em;
  19. }
  20. .variablelist td:first-child
  21. {
  22. vertical-align: top;
  23. }
  24. @media screen {
  25. sup a.footnote
  26. {
  27. position: relative;
  28. top: 0em ! important;
  29. }
  30. /* this is needed so that the local anchors are displayed below the naviagtion */
  31. div.footnote a[name], div.refnamediv a[name], div.refsect1 a[name], div.refsect2 a[name], div.index a[name], div.glossary a[name], div.sect1 a[name]
  32. {
  33. display: inline-block;
  34. position: relative;
  35. top:-5em;
  36. }
  37. /* this seems to be a bug in the xsl style sheets when generating indexes */
  38. div.index div.index
  39. {
  40. top: 0em;
  41. }
  42. /* make space for the fixed navigation bar and add space at the bottom so that
  43. * link targets appear somewhat close to top
  44. */
  45. body
  46. {
  47. padding-top: 3.2em;
  48. padding-bottom: 20em;
  49. }
  50. /* style and size the navigation bar */
  51. table.navigation#top
  52. {
  53. position: fixed;
  54. /* tango:scarlet red 0/1 */
  55. background: #ffe6e6;
  56. border: solid 1px #ef2929;
  57. margin-top: 0;
  58. margin-bottom: 0;
  59. top: 0;
  60. left: 0;
  61. height: 3em;
  62. z-index: 10;
  63. }
  64. .navigation a, .navigation a:visited
  65. {
  66. /* tango:scarlet red 3 */
  67. color: #a40000;
  68. }
  69. .navigation a:hover
  70. {
  71. /* tango:scarlet red 1 */
  72. color: #ef2929;
  73. }
  74. td.shortcuts
  75. {
  76. /* tango:scarlet red 1 */
  77. color: #ef2929;
  78. font-size: 80%;
  79. white-space: nowrap;
  80. }
  81. }
  82. @media print {
  83. table.navigation {
  84. visibility: collapse;
  85. display: none;
  86. }
  87. div.titlepage table.navigation {
  88. visibility: visible;
  89. display: table;
  90. /* tango:scarlet red 0/1 */
  91. background: #ffe6e6;
  92. border: solid 1px #ef2929;
  93. margin-top: 0;
  94. margin-bottom: 0;
  95. top: 0;
  96. left: 0;
  97. height: 3em;
  98. }
  99. }
  100. .navigation .title
  101. {
  102. font-size: 200%;
  103. }
  104. div.gallery-float
  105. {
  106. float: left;
  107. padding: 10px;
  108. }
  109. div.gallery-float img
  110. {
  111. border-style: none;
  112. }
  113. div.gallery-spacer
  114. {
  115. clear: both;
  116. }
  117. a, a:visited
  118. {
  119. text-decoration: none;
  120. /* tango:sky blue 2 */
  121. color: #3465a4;
  122. }
  123. a:hover
  124. {
  125. text-decoration: underline;
  126. /* tango:sky blue 1 */
  127. color: #729fcf;
  128. }
  129. div.table table
  130. {
  131. border-collapse: collapse;
  132. border-spacing: 0px;
  133. /* tango:aluminium 3 */
  134. border: solid 1px #babdb6;
  135. }
  136. div.table table td, div.table table th
  137. {
  138. /* tango:aluminium 3 */
  139. border: solid 1px #babdb6;
  140. padding: 3px;
  141. vertical-align: top;
  142. }
  143. div.table table th
  144. {
  145. /* tango:aluminium 2 */
  146. background-color: #d3d7cf;
  147. }
  148. hr
  149. {
  150. /* tango:aluminium 3 */
  151. color: #babdb6;
  152. background: #babdb6;
  153. border: none 0px;
  154. height: 1px;
  155. clear: both;
  156. }
  157. .footer
  158. {
  159. padding-top: 3.5em;
  160. /* tango:aluminium 3 */
  161. color: #babdb6;
  162. text-align: center;
  163. font-size: 80%;
  164. }
  165. .warning
  166. {
  167. /* tango:orange 0/1 */
  168. background: #ffeed9;
  169. border-color: #ffb04f;
  170. }
  171. .note
  172. {
  173. /* tango:chameleon 0/0.5 */
  174. background: #d8ffb2;
  175. border-color: #abf562;
  176. }
  177. .note, .warning
  178. {
  179. padding: 0.5em;
  180. border-width: 1px;
  181. border-style: solid;
  182. }
  183. .note h3, .warning h3
  184. {
  185. margin-top: 0.0em
  186. }
  187. .note p, .warning p
  188. {
  189. margin-bottom: 0.0em
  190. }
  191. /* blob links */
  192. h2 .extralinks, h3 .extralinks
  193. {
  194. float: right;
  195. /* tango:aluminium 3 */
  196. color: #babdb6;
  197. font-size: 80%;
  198. font-weight: normal;
  199. }
  200. .annotation
  201. {
  202. /* tango:aluminium 5 */
  203. color: #555753;
  204. font-size: 80%;
  205. font-weight: normal;
  206. }
  207. /* code listings */
  208. .listing_code .programlisting .cbracket { color: #a40000; } /* tango: scarlet red 3 */
  209. .listing_code .programlisting .comment { color: #a1a39d; } /* tango: aluminium 4 */
  210. .listing_code .programlisting .function { color: #000000; font-weight: bold; }
  211. .listing_code .programlisting .function a { color: #11326b; font-weight: bold; } /* tango: sky blue 4 */
  212. .listing_code .programlisting .keyword { color: #4e9a06; } /* tango: chameleon 3 */
  213. .listing_code .programlisting .linenum { color: #babdb6; } /* tango: aluminium 3 */
  214. .listing_code .programlisting .normal { color: #000000; }
  215. .listing_code .programlisting .number { color: #75507b; } /* tango: plum 2 */
  216. .listing_code .programlisting .preproc { color: #204a87; } /* tango: sky blue 3 */
  217. .listing_code .programlisting .string { color: #c17d11; } /* tango: chocolate 2 */
  218. .listing_code .programlisting .type { color: #000000; }
  219. .listing_code .programlisting .type a { color: #11326b; } /* tango: sky blue 4 */
  220. .listing_code .programlisting .symbol { color: #ce5c00; } /* tango: orange 3 */
  221. .listing_frame {
  222. /* tango:sky blue 1 */
  223. border: solid 1px #729fcf;
  224. padding: 0px;
  225. }
  226. .listing_lines, .listing_code {
  227. margin-top: 0px;
  228. margin-bottom: 0px;
  229. padding: 0.5em;
  230. }
  231. .listing_lines {
  232. /* tango:sky blue 0.5 */
  233. background: #a6c5e3;
  234. /* tango:aluminium 6 */
  235. color: #2e3436;
  236. }
  237. .listing_code {
  238. /* tango:sky blue 0 */
  239. background: #e6f3ff;
  240. }
  241. .listing_code .programlisting {
  242. /* override from previous */
  243. border: none 0px;
  244. padding: 0px;
  245. }
  246. .listing_lines pre, .listing_code pre {
  247. margin: 0px;
  248. }