|
a/static/style.css |
|
b/static/style.css |
| 1 |
body {
|
1 |
body {
|
| 2 |
margin: 0;
|
2 |
margin: 0;
|
| 3 |
font-family: sans;
|
3 |
font-family: sans;
|
| 4 |
}
|
4 |
}
|
| 5 |
#searchbox {
|
5 |
#searchbox {
|
| 6 |
background: #eee;
|
6 |
background: #eee;
|
| 7 |
border-bottom: 1px solid #666;
|
7 |
border-bottom: 1px solid #666;
|
| 8 |
}
|
8 |
}
|
| 9 |
|
9 |
|
| 10 |
#status { padding: 1.5em; }
|
10 |
#status { padding: 1.5em; }
|
| 11 |
#found { float: left; }
|
11 |
#found { float: left; }
|
| 12 |
#downloads { position: fixed; bottom: 2px; right: 7px; margin-left: 1em; }
|
12 |
#downloads { position: fixed; bottom: 2px; right: 7px; margin-left: 1em; }
|
| 13 |
#downloads a {
|
13 |
#downloads a {
|
| 14 |
border: 1px solid #aaa;
|
14 |
border: 1px solid #aaa;
|
| 15 |
padding: 5px;
|
15 |
padding: 5px;
|
| 16 |
background: #f8f8f8;
|
16 |
background: #f8f8f8;
|
| 17 |
color: #999;
|
17 |
color: #999;
|
| 18 |
font-size: 7pt;
|
18 |
font-size: 7pt;
|
|
... |
|
... |
| 25 |
margin-right: 15%;
|
25 |
margin-right: 15%;
|
| 26 |
background: #fff;
|
26 |
background: #fff;
|
| 27 |
padding-bottom: 0.5em;
|
27 |
padding-bottom: 0.5em;
|
| 28 |
padding-top: 1em;
|
28 |
padding-top: 1em;
|
| 29 |
}
|
29 |
}
|
| 30 |
.search-result-title, .search-result-ipath {
|
30 |
.search-result-title, .search-result-ipath {
|
| 31 |
margin-bottom: 6px;
|
31 |
margin-bottom: 6px;
|
| 32 |
font-weight: bold;
|
32 |
font-weight: bold;
|
| 33 |
font-size: 12pt;
|
33 |
font-size: 12pt;
|
| 34 |
float: left;
|
34 |
float: left;
|
| 35 |
}
|
35 |
}
|
|
... |
|
... |
| 47 |
margin-left: -5em;
|
47 |
margin-left: -5em;
|
| 48 |
text-align: right;
|
48 |
text-align: right;
|
| 49 |
}
|
49 |
}
|
| 50 |
.search-result-number a { font-size: 10pt; font-weight: normal; color:#bbb; background: #f8f8f8; padding: 4px; }
|
50 |
.search-result-number a { font-size: 10pt; font-weight: normal; color:#bbb; background: #f8f8f8; padding: 4px; }
|
| 51 |
.search-result-number a:hover { color:white; background: #ccc; }
|
51 |
.search-result-number a:hover { color:white; background: #ccc; }
|
| 52 |
.search-result-snippet {
|
52 |
.search-result-snippet {
|
| 53 |
margin-left: 1px;
|
53 |
margin-left: 1px;
|
| 54 |
margin-top: 2px;
|
54 |
margin-top: 2px;
|
| 55 |
font-size: 10pt;
|
55 |
font-size: 10pt;
|
| 56 |
text-align: justify;
|
56 |
text-align: justify;
|
| 57 |
border-left: 3px solid #ddd;
|
57 |
border-left: 3px solid #ddd;
|
|
... |
|
... |
| 77 |
}
|
77 |
}
|
| 78 |
form { margin: 0 }
|
78 |
form { margin: 0 }
|
| 79 |
input, select {
|
79 |
input, select {
|
| 80 |
margin-top: 2px;
|
80 |
margin-top: 2px;
|
| 81 |
margin-bottom: 2px;
|
81 |
margin-bottom: 2px;
|
| 82 |
background: white;
|
82 |
background: white;
|
| 83 |
border: 1px solid #999;
|
83 |
border: 1px solid #999;
|
| 84 |
padding: 3px;
|
84 |
padding: 3px;
|
| 85 |
width: 100%;
|
85 |
width: 100%;
|
| 86 |
color: #555;
|
86 |
color: #555;
|
| 87 |
}
|
87 |
}
|
| 88 |
input:focus, button:focus, select:focus{
|
88 |
input:focus, button:focus, select:focus{
|