1104349Sphkbody {
2178848Scokane  background-color: white;
3178848Scokane  border: 0px;
4178848Scokane  margin: 0px;
5178848Scokane  padding: 0px;
6104349Sphk}
7104349Sphk
8178848Scokane.corner {
9178848Scokane  width: 200px;
10178848Scokane  height: 80px;
11178848Scokane  text-align: center;
12178848Scokane}
13178848Scokane
14178848Scokane.banner {
15178848Scokane  background-color: rgb(110,139,61);
16178848Scokane  color: rgb(255,236,176);
17178848Scokane  padding-left: 2em;
18178848Scokane}
19178848Scokane
20178848Scokane.banner h1 {
21178848Scokane  font-size: 200%;
22178848Scokane}
23178848Scokane
24178848Scokane.content {
25178848Scokane  padding: 0em 2em 1em 2em;
26178848Scokane}
27178848Scokane
28178848Scokane.releaseno {
29178848Scokane  background-color: rgb(110,139,61);
30178848Scokane  color: rgb(255,236,176);
31178848Scokane  padding-bottom: 0.3em;
32178848Scokane  padding-top: 0.5em;
33178848Scokane  text-align: center;
34178848Scokane  font-weight: bold;
35178848Scokane}
36178848Scokane
37104349Sphk.noborder {
38104349Sphk  border-width: 0px;
39104349Sphk}
40104349Sphk
41104349Sphk.eg {
42104349Sphk  padding-left: 1em;
43104349Sphk  padding-top: .5em;
44104349Sphk  padding-bottom: .5em;
45104349Sphk  border: solid thin;
46104349Sphk  margin: 1em 0;
47104349Sphk  background-color: tan;
48104349Sphk  margin-left: 2em;
49104349Sphk  margin-right: 10%;
50104349Sphk}
51104349Sphk
52178848Scokane.pseudocode {
53178848Scokane  padding-left: 1em;
54178848Scokane  padding-top: .5em;
55178848Scokane  padding-bottom: .5em;
56178848Scokane  border: solid thin;
57178848Scokane  margin: 1em 0;
58178848Scokane  background-color: rgb(250,220,180);
59178848Scokane  margin-left: 2em;
60178848Scokane  margin-right: 10%;
61178848Scokane}
62178848Scokane
63104349Sphk.handler {
64104349Sphk  width: 100%;
65104349Sphk  border-top-width: thin;  
66104349Sphk  margin-bottom: 1em;
67104349Sphk}
68104349Sphk
69104349Sphk.handler p {
70104349Sphk  margin-left: 2em;
71104349Sphk}
72104349Sphk
73104349Sphk.setter {
74104349Sphk  font-weight: bold;
75104349Sphk}
76104349Sphk
77104349Sphk.signature {
78104349Sphk  color: navy;
79104349Sphk}
80104349Sphk
81104349Sphk.fcndec {
82104349Sphk  width: 100%;
83104349Sphk  border-top-width: thin;
84104349Sphk  font-weight: bold;
85104349Sphk}
86104349Sphk
87104349Sphk.fcndef {
88104349Sphk  margin-left: 2em;
89104349Sphk  margin-bottom: 2em;
90104349Sphk}
91104349Sphk
92104349Sphkdd {
93104349Sphk  margin-bottom: 2em;
94104349Sphk}
95178848Scokane
96178848Scokane.cpp-symbols dt {
97178848Scokane  font-family: monospace;
98178848Scokane}
99178848Scokane.cpp-symbols dd {
100178848Scokane  margin-bottom: 1em;
101178848Scokane}
102