Switch to unified view

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%;