28 |
padding:0; |
padding:0; |
29 |
} |
} |
30 |
|
|
31 |
|
/* databases */ |
32 |
|
|
33 |
|
.databases { |
34 |
|
border: 1px dashed #e0e0e0; |
35 |
|
} |
36 |
|
|
37 |
|
#database_list ul { |
38 |
|
/* display: none; */ |
39 |
|
} |
40 |
|
|
41 |
/* messages from search results */ |
/* messages from search results */ |
42 |
|
|
93 |
margin: 0.5em; |
margin: 0.5em; |
94 |
border-top: 1px dashed #808080; |
border-top: 1px dashed #808080; |
95 |
clear: left; |
clear: left; |
96 |
float; left; |
float: left; |
97 |
|
} |
98 |
|
|
99 |
|
/* HTML tidy */ |
100 |
|
|
101 |
|
.tidy { |
102 |
|
clear: left; |
103 |
|
border: 2px solid #808080; |
104 |
|
margin-top: 1em; |
105 |
|
padding: 1em; |
106 |
|
color: #808080; |
107 |
|
} |
108 |
|
|
109 |
|
.tidy tt { |
110 |
|
clear: left; |
111 |
|
display: block; |
112 |
|
background-color: #e0e0e0; |
113 |
|
padding: 2px; |
114 |
|
margin-left: 2em; |
115 |
|
color: #000000; |
116 |
|
} |
117 |
|
|
118 |
|
.tidy_error { |
119 |
|
margin-top: 0.5em; |
120 |
|
color: #c00000; |
121 |
|
} |
122 |
|
|
123 |
|
.tidy_warning { |
124 |
|
color: #c0c000; |
125 |
} |
} |