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
|
body {
background-color: #AACC00;
color: black;
}
:link { color: gray }
:visited { color: BROWN }
:active { color: green }
span.library {color: red}
dd{
color: black;
}
dl{
}
dt{
font-weight: bolder;
}
h1 {
/*
paddling-left: 0.1in;
paddling-top: 0.1in;
paddling-bottom: 0.1in;
paddling-right: 0.0in;
margin-right: 0.00in;
margin-left: 0.00in;
*/
text-align: center;
border: medium;
border-color: blue;
border-style: solid;
color: gray;
font-style: italic;
background: #f0f0ef;
font-size: 24px;
}
h2 {
border: medium;
border-color: blue;
border-style: solid;
color: blue;
font-style: italic;
background: #e0f0f0;
font-size: 20px;
}
h3 {
color: blue;
font-style: italic;
font-size: 16px;
}
h4.fortran {
color: red;
text-align: right;
font-style: italic;
font-size: 16px;
}
body {
margin-left: 0.15in;
margin-top: 0.15in;
background: #e0e0e0;
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 18px;
}
pre,xmp {
border-style: dotted;
paddling-left: 1.0em;
paddling-top: 1.0em;
paddling-bottom: 1.0em;
paddling-right: 1.0em;
background-color: rgb(255,255,154);
margin-right: 1.0em;
border: 1;
font-size: 80%;
}
div.table4 {text-align: center}
table {
background: #e0f0f0;
align: right;
border: 6;
width: 100%;
bgcolor: #eeeefe;
cellpadding: 6;
cellspacing: 2;
bordercolor: #818190;
border-style: solid;
}
td.c2 {color: white; font-family: helvetica}
td.table3 {color: #000000; font-family: helvetica; background-color: #ffffff }
td.table5 {color: #000000; font-family: helvetica; background-color: #ffffa0 }
caption.table2 {color: #ffffa0; font-family: helvetica; font-size: 150%}
pre.code {
margin-left: 0.25in;
margin-right: 0.25in;
margin-top: 0.25in;
margin-bottom: 0.25in;
background: #e0e0e0;
color: #333333;
}
div.pos{
background: #e0e0d0;
margin-left: 0.25in;
margin-right: 0.05in;
margin-top: 0.25in;
margin-bottom: 0.25in;
paddling-left: 0.25in;
paddling-top: 0.00in;
paddling-bottom: 0.25in;
paddling-right: 0.25in;
}
xmp{
display: block;
font-size: 7pt;
margin-left: 1em;
padding-left: 1em;
}
|
