-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
136 lines (128 loc) · 2.2 KB
/
style.css
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
/*
* CSS File
*/
/* Get rid of the body margin. */
body {
margin:0;
}
/* The navigation at the top */
ul.toplinks {
margin:5px 0 5px 10px; padding:0;
list-style:none;
}
ul.toplinks li {
float:left;
margin:20px 10px 0 0;
}
ul.toplinks li a {
display:block;
padding:5px 10px;
text-decoration:none;
color:#333;
font-family:sans-serif;
font-size:14px;
line-height:26px;
}
ul.toplinks li a:hover {
background-color:#999;
color:#fff;
}
ul.toplinks li.title a {
font-size:26px;
font-family:sans-serif;
}
ul.toplinks li.title a:hover {
background-color:transparent;
color:#333;
}
/* Random formatting that isn't contained already */
div#wrap {
clear:both;
border-top:1px solid #999;
}
div#wrap p {
margin:20px 0 10px 15px;
font-family:sans-serif;
}
div#wrap p a {
text-decoration:none;
font-style:italic;
color:#777;
}
div#wrap p a:hover {
border-bottom:1px dashed #777;
}
div#wrap p.searchresult {
border-bottom:1px dashed #999;
margin:10px 0 20px 0;
padding:0 0 5px 20px;
display:block;
}
div#wrap h2 {
font-family:Garamond, serif;
color:#999;
font-style:italic;
}
/* Ouput formatting */
div.output {
width:15cm;
margin:10px 0 0 20px;
}
div.output p.quote {
margin:20px 0; padding:0;
}
div.output p.prof {
font-style:italic;
text-align:right;
margin:0; padding:0;
color:#777777;
}
/* Search form on front page */
div.search {
clear:both;
padding:0 15px; margin:0;
border-bottom:1px dashed #999;
font-family:sans-serif;
font-size:14px;
}
div.search form p {
margin:0; padding:0;
height:20px;
line-height:20px;
}
div.search h1 {
border-bottom:1px solid #ddd;
padding:5px 0; margin:10px 0;
color:#555;
font-style:italic;
font-size:26px;
font-family:Garamond, serif;
}
div.search form p label {
display:block;
float:left;
padding:1px 10px 0 0;
text-align:right;
width:120px;
font-size:16px;
color:#777;
}
div.search form p input,
div.search form p select {
font-size:16px;
min-width:20px;
}
/* logout */
p.logout {
position:absolute;
top:10px;
right:10px;
}
/* Parser form */
form.parser {
padding:10px;
}
form.parser textarea {
height:300px;
width:100%;
}