main.css

/*
 * Styling the basics we used everywhere
 */

b { font-weight: bold; }

.clear { clear: both; }

h1 { font-size: 2.2em; font-weight: bold; }
h2 { font-size: 1.7em; font-weight: bold; }


body {
	background-color: #FFFFFF;
	color: #000000;
	font-size: 62.5%;
	font-family: Helvetica, Arial, sans-serif;
	line-height: 1.5;
	float: none;
	display: block;
	margin: 3px 8px;
}

#container {
	max-width: 960px;
	position: relative;
}

.title {
	border-top: 1px solid #36C;
	background-color: #E5ECF9;
	padding-left: 5px;
	padding-top: 2px;
}

.inline {
	margin-left: 15px;
	margin-bottom: 5px;
}

.code, pre {
	font-family: monospace;
	color: #007000;
	font-size: 10pt;
	display: inline;
}

p.text {
	font-size: 1.3em;
	margin-top: 10px;
	margin-left: 15px;
	margin-right: 15px;
	margin-bottom: 10px;
}

.back {
	margin-bottom: 15px;
	display: block;
	font-size: 1.2em;
}

ol.toc {
	margin-top: 10px;
	margin-left: 15px;
	margin-bottom: 20px;
	font-size: 1.3em;
}

ol.toc li {
	padding: 2px;
	margin-bottom: 5px;
}

ol.toc li a {
	font-weight: bold;
}

ul {
	font-size: 1.3em;
	list-style-type: disc;
	margin-left: 45px;
	margin-bottom: 10px;
}

ul.sub {
	font-size: 1em;
	list-style-type: circle;
}

table {
	margin-left: 15px;
	margin-bottom: 15px;
	width: 945px;
	font-size: 1.3em;
	border: 1px solid #BBB;
}

table td {
	border: 1px solid #BBB;
	padding: 6px 12px;
}

tr.top {
	font-weight: bold;
	background-color: #E5ECF9;
}

table.sub {
	font-size: 1em;
	width: 300px;
	margin-left: 0px;
}

.note {
	background-color: #EFEFEF;
	border-top: 1px solid;
	border-bottom: 1px solid;
	border-color: #BBB;
	padding: 3px;
	margin-top: 5px;
	margin-bottom: 5px;
}
a.sub {
	font-weight: normal !important;
}