Project

General

Profile

« Previous | Next » 

Revision 4524

Added by daigle about 16 years ago

moved some common elements into ../common/common.css

View differences:

docs/user/default.css
199 199
	font-size: 1.25em;
200 200
	margin-left: 4em;
201 201
	}  
202
	
203
.header1 {
204
	background: #ccccff;
205
    vertical-align: baseline;
206
    color: black;
207
    font-size: 1.25em;
208
    font-weight: bold;
209
    margin-left: 0.25em;
210
    margin-right: 0.25em;
211
    margin-top: 1em; 
212
}
213
.header2 {
214
	font-size: 1.25em;
215
	font-weight: bold;
216
	margin-top: .5em;
217
	padding-top: 1em; 
218
}
219
.header3 {
220
	font-size: 1em;
221
	font-weight: bold;
222
	margin-top: .5em;
223
}
224
.list1 {
225
	margin-top: .5em;
226
	list-style-type: circle;
227
	margin-left: -1em;
228
}
229
.list2 {
230
	list-style-type: disc;
231
	margin-left: -1em;
232
}
233
.list3 {
234
	list-style-type: square;
235
	margin-left: -1em;
236
}
237
.code {
238
	font-family: courier;
239
	margin-left: 1em;
240
	margin-top: .5em;
241
	margin-bottom: .5em;
242
}.toc1 {
243
	font-size: 1.3em;
244
	font-weight: bold;
245
	margin-left: 20px;
246
}
247
.toc2 {
248
	font-size: 1.25em;
249
	font-weight: bold;
250
	margin-left: 40px;
251
}
252
.toc3 {
253
	font-size: 1em;
254
	font-weight: bold;
255
	margin-left: 60px;
256
}

Also available in: Unified diff