1.weiqi {
2	font-size: 1.5em;
3	margin-top: 1em;
4	margin-bottom: 1em;
5	font-family: monospace;
6	display: inline;
7	}
8.weiqi caption {
9	font-style: italic;
10	}
11.weiqi td {
12	text-align: center;
13	}
14pre.w-source {
15	font-size: 0.75em !important;
16	}
17.w-report {
18	text-decoration: blink;
19	}
20