:link{color:#0000FF}
:visited{color:#008000}
:active{color:#FFFF00}

body{background-color:#FFFFFF}
code{
	font-family: "Courier New", Courier, mono;
}

table.refentry{width:90%}
td.sidehead{background-color:#C0C0C0;width:100px;vertical-align:top;padding:8pt}
td.sidebody{background-color:#FFFFCC;text-align:center;vertical-align:top;width:100px}
td.mainhead{background-color:#FFFFCC}
td.maingrey{border:#C0C0C0;border-style: solid none none none;padding:6pt}

.choice{color:#FF00FF;}
.optional{color:#0000FF}
.placeholder {
	font-family: "Courier New", Courier, mono;
	font-style: italic;
}
.tag {
	font-weight: bold;
}
.literal {
	font-family: "Courier New", Courier, mono;
}
a:hover {
	color: #FFFFFF;
	background-color: #0000FF;

}