• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1.synopsis, .classsynopsis
2{
3  background: #eeeeee;
4  border: solid 1px #aaaaaa;
5  padding: 0.5em;
6}
7.programlisting
8{
9  background: #eeeeff;
10  border: solid 1px #aaaaff;
11  padding: 0.5em;
12}
13.variablelist
14{
15  padding: 4px;
16  margin-left: 3em;
17}
18.variablelist td:first-child
19{
20  vertical-align: top;
21}
22
23/* this is needed so that the local anchors are displayed below the naviagtion */
24@media screen {
25  sup a.footnote
26  {
27    position: relative;
28    top: 0em ! important;
29  }
30  div.refnamediv a[name], div.refsect1 a[name]
31  {
32    position: relative;
33    top: -4.5em;
34  }
35  table.navigation#top
36  {
37    background: #ffeeee;
38    border: solid 1px #ffaaaa;
39    margin-top: 0;
40    margin-bottom: 0;
41    position: fixed;
42    top: 0;
43    left: 0;
44    height: 2em;
45    z-index: 1;
46  }
47  .navigation a
48  {
49    color: #770000;
50  }
51  .navigation a:visited
52  {
53    color: #550000;
54  }
55  td.shortcuts
56  {
57    color: #770000;
58    font-size: 80%;
59    white-space: nowrap;
60  }
61  div.refentry, div.chapter, div.reference, div.part, div.book, div.glossary, div.sect1, div.appendix, div.preface
62  {
63    position: relative;
64    top: 3em;
65    z-index: 0;
66  }
67  div.glossary, div.index
68  {
69    position: relative;
70    top: 2em;
71    z-index: 0;
72  }
73  div.refnamediv
74  {
75    margin-top: 2em;
76  }
77  body
78  {
79    padding-bottom: 20em;
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    background: #ffeeee;
91    border: solid 1px #ffaaaa;
92    margin-top: 0;
93    margin-bottom: 0;
94    top: 0;
95    left: 0;
96    height: 2em;
97  }
98}
99
100.navigation .title
101{
102  font-size: 200%;
103}
104
105
106div.gallery-float
107{
108  float: left;
109  padding: 10px;
110}
111div.gallery-float img
112{
113  border-style: none;
114}
115div.gallery-spacer
116{
117  clear: both;
118}
119a
120{
121  text-decoration: none;
122}
123a:hover
124{
125  text-decoration: underline;
126  color: #FF0000;
127}
128
129div.table table
130{
131  border-collapse: collapse;
132  border-spacing: 0px;
133  border-style: solid;
134  border-color: #777777;
135  border-width: 1px;
136}
137
138div.table table td, div.table table th
139{
140  border-style: solid;
141  border-color: #777777;
142  border-width: 1px;
143  padding: 3px;
144  vertical-align: top;
145}
146
147div.table table th
148{
149  background-color: #eeeeee;
150}
151
152hr
153{
154  color: #777777;
155  background: #777777;
156  border: 0;
157  height: 1px;
158  clear: both;
159}
160
161.footer
162{
163  padding-top: 3.5em;
164  color: #777777;
165  text-align: center;
166  font-size: 80%;
167}
168