|
a/static/style.css |
|
b/static/style.css |
|
... |
|
... |
3 |
#searchbox {
|
3 |
#searchbox {
|
4 |
background: #eee;
|
4 |
background: #eee;
|
5 |
border-bottom: 1px solid #666;
|
5 |
border-bottom: 1px solid #666;
|
6 |
}
|
6 |
}
|
7 |
|
7 |
|
8 |
#status { padding: 1.5em; }
|
8 |
#status {
|
|
|
9 |
margin: 1em;
|
|
|
10 |
background: #fcfcfc;
|
|
|
11 |
border: 1px solid #efefef;
|
|
|
12 |
color: #666;
|
|
|
13 |
font-size: 9pt;
|
|
|
14 |
padding: 0.5em;
|
|
|
15 |
}
|
9 |
#found { float: left; }
|
16 |
#found { float: left }
|
10 |
#downloads { position: fixed; bottom: 2px; right: 7px; margin-left: 1em; }
|
17 |
#downloads { float: right; }
|
11 |
#downloads a {
|
18 |
#downloads a {
|
12 |
border: 1px solid #aaa;
|
|
|
13 |
padding: 5px;
|
19 |
padding: 5 3 5 3;
|
14 |
background: #f8f8f8;
|
|
|
15 |
color: #999;
|
20 |
color: #999;
|
16 |
font-size: 7pt;
|
21 |
text-decoration: underline;
|
17 |
}
|
22 |
}
|
18 |
#downloads a:hover { background: #ccc; color: white }
|
23 |
#downloads a:hover { background: #ccc; color: white }
|
|
|
24 |
|
|
|
25 |
#pages { clear: both; float: none; width: 100%; text-align: center; }
|
|
|
26 |
.page {
|
|
|
27 |
font-size: 8pt;
|
|
|
28 |
color: gray;
|
|
|
29 |
padding-left: 6px; padding-right: 6px;
|
|
|
30 |
padding-top: 2px; padding-bottom: 2px;
|
|
|
31 |
border: 1px solid #ddd;
|
|
|
32 |
background: #f5f5f5;
|
|
|
33 |
|
|
|
34 |
}
|
|
|
35 |
.page:hover, .current { background: #ccc; color: white; }
|
19 |
|
36 |
|
20 |
#results { padding: 1em; }
|
37 |
#results { padding: 1em; }
|
21 |
.search-result {
|
38 |
.search-result {
|
22 |
margin-left: 15%;
|
39 |
margin-left: 15%;
|
23 |
margin-right: 15%;
|
40 |
margin-right: 15%;
|