Webpacus/root/search.css

/* autocomplete */

div.auto_complete {
        width: 350px;
        background: #fff;
}

div.auto_complete ul {
        border:1px solid #888;
        margin:0;
        padding:0;
        width:100%;
        list-style-type:none;
}

div.auto_complete ul li {
        margin:0;
        padding:3px;
}

div.auto_complete ul li.selected { 
        background-color: #ffb; 
}

div.auto_complete ul strong.highlight { 
        color: #800; 
        margin:0;
        padding:0;
}

/* databases */

.databases {
        border: 1px dashed #c0c0c0;
        display: inline;
}

#database_list {
        list-style-type:none;
        margin: 0.5em;
        padding: 0;
}

/* Search and Clear buttons */

.buttons {
        clear: left;
}

/* messages from search results */

.no_results {
        margin: 0.5em;
        padding: 0.5em;
        border: 1px dashed #ff8080;
        background-color: #ffe0e0;
        color: #000000;
}

/* found x results for 'query' */
.results {
        margin-top: 1em;
        float: left;
        font-size: 90%;
        color: #404040;
}

/* debbuging attributes output */
.attr {
        font-size: 80%;
        color: #a0a0a0;

}

/* notice at bottom */
.notice {
        margin-top: 1em;
        color: #a0a0a0;
        font-size: 70%;
        clear: left;
}

/* bar for template switching */
.switch_template {
        float: right;
        font-size: 80%;
        color: #808080;
}

.switch_template a {
        text-decoration: none;
}

/* div around results */
.html_results {
        clear: left;
        float: left;
}

/* pager */
.pager {
        margin: 0.5em;
        border-top: 1px dashed #808080;
        clear: left;
        float: left;
}

/* HTML tidy */

.tidy {
        clear: left;
        border: 2px solid #808080;
        margin-top: 1em;
        padding: 1em;
        color: #808080;
}

.tidy tt {
        clear: left;
        display: block;
        background-color: #e0e0e0;
        padding: 2px;
        margin-left: 2em;
        color: #000000;
}

.tidy_error {
        margin-top: 0.5em;
        color: #c00000;
}

.tidy_warning {
        color: #c0c000;
}
1	/* autocomplete */
2
3	div.auto_complete {
4	width: 350px;
5	background: #fff;
6	}
7
8	div.auto_complete ul {
9	border:1px solid #888;
10	margin:0;
11	padding:0;
12	width:100%;
13	list-style-type:none;
14	}
15
16	div.auto_complete ul li {
17	margin:0;
18	padding:3px;
19	}
20
21	div.auto_complete ul li.selected {
22	background-color: #ffb;
23	}
24
25	div.auto_complete ul strong.highlight {
26	color: #800;
27	margin:0;
28	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 */
51
52	.no_results {
53	margin: 0.5em;
54	padding: 0.5em;
55	border: 1px dashed #ff8080;
56	background-color: #ffe0e0;
57	color: #000000;
58	}
59
60	/* found x results for 'query' */
61	.results {
62	margin-top: 1em;
63	float: left;
64	font-size: 90%;
65	color: #404040;
66	}
67
68	/* debbuging attributes output */
69	.attr {
70	font-size: 80%;
71	color: #a0a0a0;
72
73	}
74
75	/* notice at bottom */
76	.notice {
77	margin-top: 1em;
78	color: #a0a0a0;
79	font-size: 70%;
80	clear: left;
81	}
82
83	/* bar for template switching */
84	.switch_template {
85	float: right;
86	font-size: 80%;
87	color: #808080;
88	}
89
90	.switch_template a {
91	text-decoration: none;
92	}
93
94	/* div around results */
95	.html_results {
96	clear: left;
97	float: left;
98	}
99
100	/* pager */
101	.pager {
102	margin: 0.5em;
103	border-top: 1px dashed #808080;
104	clear: left;
105	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	}