-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathstyle.css
More file actions
153 lines (139 loc) · 2.31 KB
/
style.css
File metadata and controls
153 lines (139 loc) · 2.31 KB
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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
html {
margin: 0;
padding: 0;
border: 0;
background-color: #eee;
font-family: Arial, sans-serif;
}
body {
color: #222;
}
strong {
line-height: 3;
}
pre {
background: #eee;
padding: 4px;
}
img {
border: 0;
}
a {
background-color: inherit;
}
#path {
font-size: 1.8em;
font-weight: bold;
text-align: left;
max-width: 1200px;
margin: 5px auto 0px auto;
width: 95%;
}
#path a {
text-decoration: none;
color: #000;
}
#container {
background-color: #eee;
border: 0px;
margin: 5px auto 1em auto;
padding: 0px;
color: inherit;
min-width: 600px;
max-width: 1100px;
width: 95%
}
#main {
margin: 0;
padding: 0;
background-color: #eee;
/* stretch up main div to accomodate the floats */
overflow: auto;
width: 100%;
}
#menu {
display: inline;
float: left;
width: 162px;
color: inherit;
text-align: left;
margin: 30px 0px 0px 0px;
font-size: 1.1em;
}
#menu ul {
margin: 0;
padding: 0;
}
#menu li {
padding: .1em .5em .1em .2em;
list-style: none;
border-left: 3px solid #ccc;
}
#menu a {
text-decoration: none;
color: #000;
}
#menu li.dir {
/*font-weight: bold;*/
}
#menu li.current {
color: #070;
background-color: #fff;
border-width: 0px 1px 1px 1px;
border: 1px solid #ccc;
border-left: 3px solid #ccc;
border-right: 1px solid #fff;
}
#content {
padding: 15px 30px 25px 30px;
margin: 10px 140px 10px 160px;
background-color: #fff;
color: #555;
border: 1px solid #ccc;
font-size: 1em;
text-align: justify;
min-height: 100px; /* Use these following three entries to */
height: auto !important; /* change the min-height of the div */
height: 100px; /* so that 'current' doesn't get awkward */
}
#content p {
margin: .5em 0;
}
#content h1 {
margin: 0;
background-color: inherit;
text-align: left;
font-size: 1.8em;
font-weight: bold;
color: #000;
}
#content h2 {
font-weight: normal;
font-size: 1.4em;
border-bottom: 1px #ccc solid;
color: #000;
}
#content h3 {
font-weight: normal;
font-size: 1.2em;
color: #000;
}
#content hr {
color: #ddd;
background-color: #ddd;
height: 1px;
width: 25%;
}
#footer {
clear: both;
padding: 10px 10px 10px 10px;
margin-bottom: 0px;
font-size: 0.7em;
background-color: #eee;
color: #aaa;
text-align: center;
}
#footer a {
color: #aaa;
text-decoration: underline;
}