1: BODY {
2: background-color : #FFFFF0;
3: }
4: BODY EM {
5: color: #A01010;
6: }
7:
8: BODY CODE {
9: color: #101080;
10: }
11: DIV.CODE {
12: color : #101080;
13: background-color: #E0FFFF;
14: margin-top: 0.0 ex;
15: padding-top: 0.4 ex;
16: padding-bottom: 0.2 ex;
17: margin-bottom: 0.0 ex;
18: margin-right: 2 ex;
19: border: thin solid gray;
20: display: block;
21: }
22: SPAN.LINENO {
23: color : #101010;
24: font-size: 80%;
25: }
26:
27: DIV.CODE SPAN.KEYWORD {
28: color : #000000;
29: font-weight: bold;
30: }
31: DIV.CODE SPAN.NAME {
32: color : #000000;
33: }
34: DIV.CODE SPAN.STRING{
35: color : #004000;
36: }
37: DIV.CODE SPAN.NUMBER {
38: color : #002020;
39: }
40: DIV.CODE SPAN.BRACKET {
41: color : #800000;
42: }
43: DIV.CODE SPAN.PUNCT {
44: color : #802000;
45: }
46: DIV.CODE SPAN.OP {
47: color : #400000;
48: }
49: DIV.CODE SPAN.COMMENT {
50: color : #000000;
51: background-color : #FFF0FF;
52: font-size: 80%;
53: font-family: sans-serif;
54: }
55:
56: TABLE.DEFAULT_TABLE_CLASS {
57: color: #101010;
58: background-color: #F0F0E0;
59: }
60:
61: TABLE.DIFF {
62: color: #204060;
63: background-color: #FFE0E0;
64: }
65:
66: DIV.CODE_SECTION_HEAD {
67: margin-top: 1 ex;
68: padding-top: 0.2 ex;
69: border-top: 0 ex;
70: padding-bottom: 0.0 ex;
71: border-bottom: 0 ex;
72: margin-bottom: -1 ex;
73: padding-left: 0.1 em;
74: display: block;
75: }
76: DIV.CODE_SECTION_FOOT {
77: margin-top: -1.0 ex;
78: padding-top: 0.0 em;
79: border-top-width: 0.0 em;
80: border-bottom-width: 0.0 em;
81: padding-bottom: 0.0 em;
82: margin-bottom: 0.0 em;
83: display: block;
84: display:none;
85: }
86:
87: DIV.CODE_SECTION_HEAD SMALL, DIV.CODE_SECTION_FOOT SMALL{
88: color : #503020;
89: font-size: 80%;
90: display: inline;
91: color: #101080;
92: }
93: DIV.CODE_SECTION_HEAD STRONG, DIV.CODE_SECTION_FOOT STRONG {
94: font-family : monospace, courier;
95: font-weight: normal;
96: font-size: 100%;
97: display: inline;
98: color : black;
99: }
100: DIV.CODE_SECTION_HEAD EM, DIV.CODE_SECTION_FOOT EM {
101: display: inline;
102: }
103:
104: DIV.TEST_OUTPUT {
105: color : #101080;
106: background-color: #E0FFE0;
107: margin-top: 0.0 ex;
108: padding-top: 0.4 ex;
109: padding-bottom: 0.2 ex;
110: margin-bottom: 0.0 ex;
111: margin-right: 2 ex;
112: border: thin solid gray;
113: display: block;
114: }
115: DIV.BAD_TEST_OUTPUT {
116: color : #101080;
117: background-color: #FFE0E0;
118: margin-top: 0.0 ex;
119: padding-top: 0.4 ex;
120: padding-bottom: 0.2 ex;
121: margin-bottom: 0.0 ex;
122: margin-right: 2 ex;
123: border: thin solid gray;
124: display: block;
125: }
126: DIV.TEST_OUTPUT_RESULT {
127: margin-top: 1.5 ex;
128: padding-top: 0.2 ex;
129: border-top: 0 ex;
130: padding-bottom: 0.0 ex;
131: border-bottom: 0 ex;
132: margin-bottom: -1 ex;
133: padding-left: 0.1 em;
134: display: block;
135: }
136: DIV.TEST_OUTPUT_SECTION_HEAD {
137: margin-top: 1 ex;
138: padding-top: 0.2 ex;
139: border-top: 0 ex;
140: padding-bottom: 0.0 ex;
141: border-bottom: 0 ex;
142: margin-bottom: -1 ex;
143: padding-left: 0.1 em;
144: display: block;
145: }
146:
147: DIV.TEST_OUTPUT_SECTION_FOOT {
148: margin-top: -1.0 ex;
149: padding-top: 0.0 em;
150: border-top-width: 0.0 em;
151: border-bottom-width: 0.0 em;
152: padding-bottom: 0.0 em;
153: margin-bottom: 0.0 em;
154: display: block;
155: display:none;
156: }
157:
158: DIV.TEST_OUTPUT_SECTION_HEAD SMALL, DIV.TEST_OUTPUT_SECTION_FOOT SMALL{
159: color : #503020;
160: font-size: 80%;
161: display: inline;
162: color: #101080;
163: }
164: DIV.TEST_OUTPUT_SECTION_HEAD STRONG, DIV.TEST_OUTPUT_SECTION_FOOT STRONG {
165: font-family : monospace, courier;
166: font-weight: normal;
167: font-size: 100%;
168: display: inline;
169: color : black;
170: }
171: DIV.TEST_OUTPUT_SECTION_HEAD EM, DIV.TEST_OUTPUT_SECTION_FOOT EM {
172: display: inline;
173: }
174:
175: DIV.EXPECTED_OUTPUT {
176: color : #101080;
177: background-color: #E0FFFF;
178: margin-top: 0.0 ex;
179: padding-top: 0.4 ex;
180: padding-bottom: 0.2 ex;
181: margin-bottom: 0.0 ex;
182: margin-right: 2 ex;
183: border: thin solid gray;
184: display: block;
185: }
186:
187: DIV.EXPECTED_OUTPUT_SECTION_HEAD {
188: margin-top: 1 ex;
189: padding-top: 0.2 ex;
190: border-top: 0 ex;
191: padding-bottom: 0.0 ex;
192: border-bottom: 0 ex;
193: margin-bottom: -1 ex;
194: padding-left: 0.1 em;
195: display: block;
196: }
197:
198: DIV.EXPECTED_OUTPUT_SECTION_FOOT {
199: margin-top: -1.0 ex;
200: padding-top: 0.0 em;
201: border-top-width: 0.0 em;
202: border-bottom-width: 0.0 em;
203: padding-bottom: 0.0 em;
204: margin-bottom: 0.0 em;
205: display: block;
206: display:none;
207: }
208:
209: DIV.EXPECTED_OUTPUT_SECTION_HEAD SMALL, DIV.EXPECTED_OUTPUT_SECTION_FOOT SMALL{
210: color : #503020;
211: font-size: 80%;
212: display: inline;
213: color: #101080;
214: }
215: DIV.EXPECTED_OUTPUT_SECTION_HEAD STRONG, DIV.EXPECTED_OUTPUT_SECTION_FOOT STRONG {
216: font-family : monospace, courier;
217: font-weight: normal;
218: font-size: 100%;
219: display: inline;
220: color : black;
221: }
222: DIV.EXPECTED_OUTPUT_SECTION_HEAD EM, DIV.EXPECTED_OUTPUT_SECTION_FOOT EM {
223: display: inline;
224: }
225:
226: DIV.DIFF {
227: color : #101080;
228: background-color: #E0FFE0;
229: margin-top: 0.0 ex;
230: padding-top: 0.4 ex;
231: padding-bottom: 0.2 ex;
232: margin-bottom: 0.0 ex;
233: margin-right: 2 ex;
234: border: thin solid gray;
235: display: block;
236: }
237:
238: DIV.DIFF_SECTION_HEAD {
239: margin-top: 1 ex;
240: padding-top: 0.2 ex;
241: border-top: 0 ex;
242: padding-bottom: 0.0 ex;
243: border-bottom: 0 ex;
244: margin-bottom: -1 ex;
245: padding-left: 0.1 em;
246: display: block;
247: }
248:
249: DIV.DIFF_SECTION_FOOT {
250: margin-top: -1.0 ex;
251: padding-top: 0.0 em;
252: border-top-width: 0.0 em;
253: border-bottom-width: 0.0 em;
254: padding-bottom: 0.0 em;
255: margin-bottom: 0.0 em;
256: display: block;
257: display:none;
258: }
259:
260: DIV.DIFF_SECTION_HEAD SMALL, DIV.DIFF_SECTION_FOOT SMALL{
261: color : #503020;
262: font-size: 80%;
263: display: inline;
264: color: #101080;
265: }
266: DIV.DIFF_SECTION_HEAD STRONG, DIV.DIFF_SECTION_FOOT STRONG {
267: font-family : monospace, courier;
268: font-weight: normal;
269: font-size: 100%;
270: display: inline;
271: color : black;
272: }
273: DIV.DIFF_SECTION_HEAD EM, DIV.DIFF_SECTION_FOOT EM {
274: display: inline;
275: }
276: