1 |
|
/* form */ |
2 |
|
|
3 |
|
#results_form { |
4 |
|
width: 900px; |
5 |
|
margin-left: 1%; |
6 |
|
margin-right: 1%; |
7 |
|
} |
8 |
|
|
9 |
/* autocomplete */ |
/* autocomplete */ |
10 |
|
|
11 |
div.auto_complete { |
div.auto_complete { |
36 |
padding:0; |
padding:0; |
37 |
} |
} |
38 |
|
|
39 |
|
/* databases */ |
40 |
|
|
41 |
|
.databases { |
42 |
|
display: inline; |
43 |
|
} |
44 |
|
|
45 |
|
#database_list { |
46 |
|
position: absolute; |
47 |
|
top: 150px; |
48 |
|
left: 720px; |
49 |
|
border: 1px dashed #c0c0c0; |
50 |
|
list-style-type:none; |
51 |
|
margin: 0.5em; |
52 |
|
padding: 2px; |
53 |
|
margin-top: -100px; |
54 |
|
font-size: 0.9em; |
55 |
|
width: 180px; |
56 |
|
color: blue; |
57 |
|
} |
58 |
|
|
59 |
|
/* Search and Clear buttons */ |
60 |
|
|
61 |
|
.buttons { |
62 |
|
clear: left; |
63 |
|
width: 680px; |
64 |
|
} |
65 |
|
|
66 |
/* messages from search results */ |
/* messages from search results */ |
67 |
|
|
71 |
border: 1px dashed #ff8080; |
border: 1px dashed #ff8080; |
72 |
background-color: #ffe0e0; |
background-color: #ffe0e0; |
73 |
color: #000000; |
color: #000000; |
74 |
|
width: 600px; |
75 |
} |
} |
76 |
|
|
77 |
/* found x results for 'query' */ |
/* found x results for 'query' */ |
78 |
|
|
79 |
.results { |
.results { |
80 |
|
width: 680px; |
81 |
margin-top: 1em; |
margin-top: 1em; |
82 |
float: left; |
float: left; |
83 |
font-size: 90%; |
font-size: 90%; |
101 |
|
|
102 |
/* bar for template switching */ |
/* bar for template switching */ |
103 |
.switch_template { |
.switch_template { |
104 |
float: right; |
float: left; |
105 |
font-size: 80%; |
font-size: 80%; |
106 |
color: #808080; |
color: #808080; |
107 |
|
padding-bottom: 10px; |
108 |
} |
} |
109 |
|
|
110 |
.switch_template a { |
.switch_template a { |
112 |
} |
} |
113 |
|
|
114 |
/* div around results */ |
/* div around results */ |
115 |
|
|
116 |
|
#results { |
117 |
|
width: 690px; |
118 |
|
margin-left: 1%; |
119 |
|
margin-right: 1%; |
120 |
|
} |
121 |
|
|
122 |
.html_results { |
.html_results { |
123 |
clear: left; |
clear: left; |
124 |
float: left; |
float: left; |
125 |
|
width: 40px; |
126 |
|
width: 690px; |
127 |
} |
} |
128 |
|
|
129 |
/* pager */ |
/* pager */ |
131 |
margin: 0.5em; |
margin: 0.5em; |
132 |
border-top: 1px dashed #808080; |
border-top: 1px dashed #808080; |
133 |
clear: left; |
clear: left; |
134 |
float; left; |
float: left; |
135 |
|
} |
136 |
|
|
137 |
|
/* HTML tidy */ |
138 |
|
|
139 |
|
.tidy { |
140 |
|
clear: left; |
141 |
|
border: 2px solid #808080; |
142 |
|
margin-top: 1em; |
143 |
|
padding: 1em; |
144 |
|
color: #808080; |
145 |
|
} |
146 |
|
|
147 |
|
.tidy tt { |
148 |
|
clear: left; |
149 |
|
display: block; |
150 |
|
background-color: #e0e0e0; |
151 |
|
padding: 2px; |
152 |
|
margin-left: 2em; |
153 |
|
color: #000000; |
154 |
|
text-wrap: suppress; |
155 |
|
} |
156 |
|
|
157 |
|
.tidy_error { |
158 |
|
margin-top: 0.5em; |
159 |
|
color: #c00000; |
160 |
|
} |
161 |
|
|
162 |
|
.tidy_warning { |
163 |
|
color: #c0c000; |
164 |
} |
} |