28 |
padding:0; |
padding:0; |
29 |
} |
} |
30 |
|
|
31 |
|
/* databases */ |
32 |
|
|
33 |
|
.databases { |
34 |
|
border: 1px dashed #c0c0c0; |
35 |
|
display: inline; |
36 |
|
} |
37 |
|
|
38 |
|
#database_list { |
39 |
|
list-style-type:none; |
40 |
|
margin: 0.5em; |
41 |
|
padding: 0; |
42 |
|
} |
43 |
|
|
44 |
|
/* Search and Clear buttons */ |
45 |
|
|
46 |
|
.buttons { |
47 |
|
clear: left; |
48 |
|
} |
49 |
|
|
50 |
/* messages from search results */ |
/* messages from search results */ |
51 |
|
|
104 |
clear: left; |
clear: left; |
105 |
float: left; |
float: left; |
106 |
} |
} |
107 |
|
|
108 |
|
/* HTML tidy */ |
109 |
|
|
110 |
|
.tidy { |
111 |
|
clear: left; |
112 |
|
border: 2px solid #808080; |
113 |
|
margin-top: 1em; |
114 |
|
padding: 1em; |
115 |
|
color: #808080; |
116 |
|
} |
117 |
|
|
118 |
|
.tidy tt { |
119 |
|
clear: left; |
120 |
|
display: block; |
121 |
|
background-color: #e0e0e0; |
122 |
|
padding: 2px; |
123 |
|
margin-left: 2em; |
124 |
|
color: #000000; |
125 |
|
} |
126 |
|
|
127 |
|
.tidy_error { |
128 |
|
margin-top: 0.5em; |
129 |
|
color: #c00000; |
130 |
|
} |
131 |
|
|
132 |
|
.tidy_warning { |
133 |
|
color: #c0c000; |
134 |
|
} |