Project

General

Profile

Revision 4483

Added by daigle about 12 years ago

Add new elements for replication.html updates

View differences:

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

Also available in: Unified diff