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
|
body {
/* color: navy; */
color: #000033;
background: white;
margin-left: 10%;
margin-right: 10%;
}
/* Link colours should be specified, since text colour was in <body> */
a:link { color: #009; }
a:active: { color: #00C; }
a:visited { color: #600; }
a[href]:hover { background: #FF9; } /* CSS2 */
h1 {
background: #CCF;
padding: 1em;
border-style: none;
margin-left: -10%;
margin-right: -10%;
font-family: Optima, Arial, sans-serif;
}
h2 {
margin-left: -5%;
font-family: Optima, Arial, sans-serif;
}
h3, h4, h5, h6 {
font-family: Optima, Arial, sans-serif;
}
p.figure {
text-align: center;
}
p.copyright {
font-size: x-small;
}
dt {
margin-left: +5%;
font-style: italic;
margin-top: 0.5ex;
}
dd {
margin-bottom: 0.5ex;
}
li {
margin-top: 0.5ex;
margin-bottom: 0.5ex;
}
img.smallimage {
float: right;
}
img.smallimageleft {
float: left;
}
pre {
margin: +5%;
background: #FF9;
clear: both;
}
pre.doc-history {
margin-left: 30%;
font-family: Optima, Arial, sans-serif;
font-size: x-small;
background: #EEE;
}
tr.header {
background-color: navy;
color: white;
}
tr.odd {
background-color: #CCF;
}
tr.even {
background-color: #AAF;
}
/* classes r0 and r1 are easier to generate programmatically */
tr.r0 {
background-color: #CCF;
}
tr.r1 {
background-color: #AAF;
}
td {
/* Hmmm, I still get the background showing through... */
border-style: none;
padding: 0px;
margin: 2px;
}
q:before { content: "`"; }
q:after { content: "\'"; }
/*
q:before { content: open-quote; }
q:after { content: close-quote; }
*/
div.abstract {
margin-left: 30%;
margin-right: 0%;
font-style: oblique;
text-align: justify;
}
div.abstract em { font-style: normal; }
div.signature {
font-style: oblique;
text-align: right;
margin-left: -10%;
margin-right: -10%;
background: #CCCCFF;
padding: 1em;
border-width: thin;
border-top: ridge;
border-left: none;
border-right: none;
border-bottom: none;
border-color: black;
}
|