Switch to unified view

a/static/style.css b/static/style.css
...
...
74
    font-family: serif;
74
    font-family: serif;
75
}
75
}
76
.search-result-url { clear:left; }
76
.search-result-url { clear:left; }
77
.search-result-url a { color: #5a5; font-size: 8pt; float: left; margin-right: 1em;}
77
.search-result-url a { color: #5a5; font-size: 8pt; float: left; margin-right: 1em;}
78
.search-result-links { color: #aaf; font-size: 8pt; float: left; margin-right: 1em; visibility: hidden }
78
.search-result-links { color: #aaf; font-size: 8pt; float: left; margin-right: 1em; visibility: hidden }
79
.search-result-links a { padding-right: 0.5em; }
80
.search-result-links a:hover { text-decoration: underline }
79
.search-result:hover > .search-result-links { visibility: visible }
81
.search-result:hover > .search-result-links { visibility: visible }
80
.search-result-date { color: #777; font-size: 8pt; float: right; margin-bottom: 7px; }
82
.search-result-date { color: #777; font-size: 8pt; float: right; margin-bottom: 7px; }
81
.search-result-size { color: #777; font-size: 8pt; float: right; display: none; }
83
.search-result-size { color: #777; font-size: 8pt; float: right; display: none; }
82
.search-result-highlight { color: #7E1212; font-weight: bold; }
84
.search-result-highlight { color: #7E1212; font-weight: bold; }
83
.gray { color: #aaa }
85
.gray { color: #aaa }
...
...
112
tr { vertical-align: top }
114
tr { vertical-align: top }
113
115
114
#settings-box {
116
#settings-box {
115
    padding: 1em;
117
    padding: 1em;
116
    position: absolute;
118
    position: absolute;
117
    top: 10%;
119
    top: 5%;
118
    left: 30%;
120
    left: 30%;
119
    right: 30%;
121
    right: 30%;
120
    background: #eee;
122
    background: #eee;
121
    border: 1px solid #999;
123
    border: 1px solid #999;
122
}
124
}