old python needs __main__ to call a module
[pylucene.git] / doc / skin / profile.css
1
2
3 /* ==================== aural ============================ */
4
5 @media aural {
6   h1, h2, h3, h4, h5, h6 { voice-family: paul, male; stress: 20; richness: 90 }
7   h1 { pitch: x-low; pitch-range: 90 }
8   h2 { pitch: x-low; pitch-range: 80 }
9   h3 { pitch: low; pitch-range: 70 }
10   h4 { pitch: medium; pitch-range: 60 }
11   h5 { pitch: medium; pitch-range: 50 }
12   h6 { pitch: medium; pitch-range: 40 }
13   li, dt, dd { pitch: medium; richness: 60 }
14   dt { stress: 80 }
15   pre, code, tt { pitch: medium; pitch-range: 0; stress: 0; richness: 80 }
16   em { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
17   strong { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
18   dfn { pitch: high; pitch-range: 60; stress: 60 }
19   s, strike { richness: 0 }
20   i { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
21   b { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
22   u { richness: 0 }
23   
24   :link { voice-family: harry, male }
25   :visited { voice-family: betty, female }
26   :active { voice-family: betty, female; pitch-range: 80; pitch: x-high }
27 }
28   
29 a.external  {
30   padding: 0 20px 0px 0px;
31         display:inline;
32   background-repeat: no-repeat;
33         background-position: center right;
34         background-image: url(images/external-link.gif);
35 }
36   
37 #top          { background-color: #FFFFFF;}  
38  
39 #top .header .current { background-color: #4C6C8F;} 
40 #top .header .current a:link {  color: #ffffff;  }
41 #top .header .current a:visited { color: #ffffff; }
42 #top .header .current a:hover { color: #ffffff; }
43  
44 #tabs li      { background-color: #E5E4D9 ;} 
45 #tabs li a:link {  color: #000000;  }
46 #tabs li a:visited { color: #000000; }
47 #tabs li a:hover { color: #000000; }
48
49 #level2tabs a.selected      { background-color: #4C6C8F ;} 
50 #level2tabs a:link {  color: #ffffff;  }
51 #level2tabs a:visited { color: #ffffff; }
52 #level2tabs a:hover { color: #ffffff; }
53
54 #level2tabs { background-color: #E5E4D9;}
55 #level2tabs a.unselected:link {  color: #000000;  }
56 #level2tabs a.unselected:visited { color: #000000; }
57 #level2tabs a.unselected:hover { color: #000000; }
58
59 .heading { background-color: #E5E4D9;} 
60
61 .boxed { background-color: #E5E4D9;} 
62 .underlined_5   {border-bottom: solid 5px #E5E4D9;}
63 .underlined_10  {border-bottom: solid 10px #E5E4D9;}
64 table caption { 
65 background-color: #E5E4D9; 
66 color: #000000;
67 }
68     
69 #feedback {
70 color: #FFFFFF;
71 background: #4C6C8F;
72 text-align: center;
73 }
74 #feedback #feedbackto {
75 color: #FFFFFF;
76 }   
77
78 #publishedStrip { 
79 color: #FFFFFF;
80 background: #4C6C8F; 
81 }
82
83 #publishedStrip { 
84 color: #000000;
85 background: #E5E4D9; 
86 }
87
88 #menu .menupagetitle  { background-color: #CFDCED;
89   color: #000000;}
90
91 #menu           { border-color: #999999;}
92 #menu .menupagetitle  { border-color: #999999;}
93 #menu .menupageitemgroup  { border-color: #999999;}
94
95 #menu      { background-color: #4C6C8F;} 
96 #menu  {  color: #ffffff;} 
97 #menu a:link {  color: #ffffff;} 
98 #menu a:visited {  color: #ffffff;} 
99 #menu a:hover {  
100 background-color: #4C6C8F;
101 color: #ffffff;} 
102
103 #menu h1 {
104 color: #000000;
105 background-color: #cfdced;
106 }   
107  
108 #top .searchbox { 
109 background-color: #E5E4D9 ;
110 color: #000000; 
111
112  
113 #menu .menupageitemgroup     { 
114 background-color: #E5E4D9;
115 }
116 #menu .menupageitem {
117 color: #000000;
118
119 #menu .menupageitem a:link {  color: #000000;} 
120 #menu .menupageitem a:visited {  color: #000000;} 
121 #menu .menupageitem a:hover {  
122 background-color: #E5E4D9;
123 color: #000000;
124 }
125
126 body{ 
127 background-color: #ffffff;
128 color: #000000;
129
130 a:link { color:#0000ff} 
131 a:visited { color:#009999} 
132 a:hover { color:#6587ff} 
133
134  
135 .ForrestTable      { background-color: #ccc;} 
136  
137 .ForrestTable td   { background-color: #ffffff;} 
138  
139 .highlight        { background-color: #ffff00;} 
140  
141 .fixme        { border-color: #c60;} 
142  
143 .note         { border-color: #069;} 
144  
145 .warning         { border-color: #900;} 
146  
147 .code         { border-color: #a5b6c6;} 
148  
149 #footer       { background-color: #E5E4D9;} 
150 /* extra-css */
151
152     p.quote {
153       margin-left: 2em;
154       padding: .5em;
155       background-color: #f0f0f0;
156       font-family: monospace;
157     }
158     
159     #footer a { color: #0F3660; }
160     #footer a:visited { color: #009999; }
161