body{
	font-family: "Times New Roman", Arial, "Courier New";
}
h1{
	border-top: #060 1px solid;
	background-color: #6c6;
}
h2{
	margin-top: 4em;
	border-top: #36c 1px solid;
	background-color: #e7efff;
	padding:5px;
	font-size:1em;
}

h3{
	font-size:1em;
}

pre{
	margin: 10px 0px;
	border: #ccc 1px solid;
	padding:10px;
}

code{
	color: #393;
	color: #060;
}

a{
	color: #33c;
	text-decoration:none;
	text-decoration:underline;
}
a:hover{
	xcolor: #f96;
}

table{
	xwidth:600px;
	border-collapse:collapse;
}

th{
	background-color: #e7efff;
}


table, th, td{
	border: #36c 1px solid;
	padding:5px;
	text-align:left;
	vertical-align:top;
}

li{
	padding-bottom:5px;
}


div#old-version{
	margin: 20px auto;
	padding:5px;
	border: #000 3px solid;
	color: #f00;
	color: #fff;
	background-color: #fcc;
	background-color: #f00;
}
div#old-version a{;
	color: #fff;
}

div.lastupdate{
	text-align: right;
	font-size: 0.8em;
}

div.example{
	border: #ccc 1px solid;
	padding:5px;
}
div.example-title{
	margin-top: 30px;
	margin-bottom: 5px;
	font-weight: bold;
}