@import url("/wiki/rightsidebar/css/print.css");

html {
    font: normal 8pt verdana,arial,'Bitstream Vera Sans',helvetica,sans-serif;
}

#page {
    font: normal 8pt verdana,arial,'Bitstream Vera Sans',helvetica,sans-serif;
}

pre {
    font-size: 8pt;
}

.table-of-contents {
	font-size: 8pt;
}