10SN/Abody {
26073SN/A  background-color: white;
30SN/A  border: 0px;
40SN/A  margin: 0px;
50SN/A  padding: 0px;
60SN/A}
72362SN/A
80SN/A.corner {
92362SN/A  width: 200px;
100SN/A  height: 80px;
110SN/A  text-align: center;
120SN/A}
130SN/A
140SN/A.banner {
150SN/A  background-color: rgb(110,139,61);
160SN/A  color: rgb(255,236,176);
170SN/A  padding-left: 2em;
180SN/A}
190SN/A
200SN/A.banner h1 {
212362SN/A  font-size: 200%;
222362SN/A}
232362SN/A
240SN/A.content {
2532SN/A  padding: 0em 2em 1em 2em;
260SN/A}
270SN/A
280SN/A.releaseno {
290SN/A  background-color: rgb(110,139,61);
300SN/A  color: rgb(255,236,176);
310SN/A  padding-bottom: 0.3em;
320SN/A  padding-top: 0.5em;
330SN/A  text-align: center;
340SN/A  font-weight: bold;
350SN/A}
360SN/A
370SN/A.noborder {
380SN/A  border-width: 0px;
390SN/A}
400SN/A
410SN/A.eg {
420SN/A  padding-left: 1em;
430SN/A  padding-top: .5em;
440SN/A  padding-bottom: .5em;
450SN/A  border: solid thin;
460SN/A  margin: 1em 0;
470SN/A  background-color: tan;
480SN/A  margin-left: 2em;
490SN/A  margin-right: 10%;
500SN/A}
510SN/A
520SN/A.pseudocode {
530SN/A  padding-left: 1em;
540SN/A  padding-top: .5em;
550SN/A  padding-bottom: .5em;
560SN/A  border: solid thin;
57  margin: 1em 0;
58  background-color: rgb(250,220,180);
59  margin-left: 2em;
60  margin-right: 10%;
61}
62
63.handler {
64  width: 100%;
65  border-top-width: thin;  
66  margin-bottom: 1em;
67}
68
69.handler p {
70  margin-left: 2em;
71}
72
73.setter {
74  font-weight: bold;
75}
76
77.signature {
78  color: navy;
79}
80
81.fcndec {
82  width: 100%;
83  border-top-width: thin;
84  font-weight: bold;
85}
86
87.fcndef {
88  margin-left: 2em;
89  margin-bottom: 2em;
90}
91
92dd {
93  margin-bottom: 2em;
94}
95
96.cpp-symbols dt {
97  font-family: monospace;
98}
99.cpp-symbols dd {
100  margin-bottom: 1em;
101}
102