1: body {
2: background-color: white;
3: border: 0px;
4: margin: 0px;
5: padding: 0px;
6: }
7:
8: .corner {
9: width: 200px;
10: height: 80px;
11: text-align: center;
12: }
13:
14: .banner {
15: background-color: rgb(110,139,61);
16: color: rgb(255,236,176);
17: padding-left: 2em;
18: }
19:
20: .banner h1 {
21: font-size: 200%;
22: }
23:
24: .content {
25: padding: 0em 2em 1em 2em;
26: }
27:
28: .releaseno {
29: background-color: rgb(110,139,61);
30: color: rgb(255,236,176);
31: padding-bottom: 0.3em;
32: padding-top: 0.5em;
33: text-align: center;
34: font-weight: bold;
35: }
36:
37: .noborder {
38: border-width: 0px;
39: }
40:
41: .eg {
42: padding-left: 1em;
43: padding-top: .5em;
44: padding-bottom: .5em;
45: border: solid thin;
46: margin: 1em 0;
47: background-color: tan;
48: margin-left: 2em;
49: margin-right: 10%;
50: }
51:
52: .pseudocode {
53: padding-left: 1em;
54: padding-top: .5em;
55: padding-bottom: .5em;
56: 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:
92: dd {
93: margin-bottom: 2em;
94: }
95:
96: .cpp-symbols dt {
97: font-family: monospace;
98: }
99: .cpp-symbols dd {
100: margin-bottom: 1em;
101: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>