.docCaption {
	font-size: smaller;
	font-weight: bold;
}

.docNote {
	background-color: #EFEFEF;
}

.docTable {
	caption-side: bottom;
}

.docProgramListing,
.docFileContent {
    margin-top: 12px;
    margin-bottom: 12px;
    padding: 5px;
    background-color:#EEFFCC;
    border-color:#AACC99;
    border-style:solid none;
    border-width:1px medium;
    color:#333333;
}

a.docHeaderLink {
	color:#C60F0F;
	font-size:0.8em;
	padding:0 4px;
	text-decoration:none;
	visibility:hidden;
}

a.docHeaderLink:hover {
	background-color:#C60F0F;
	color:white;
}

h1:hover > a.docHeaderLink,
h2:hover > a.docHeaderLink,
h3:hover > a.docHeaderLink,
h4:hover > a.docHeaderLink,
h5:hover > a.docHeaderLink,
h6:hover > a.docHeaderLink,
dt:hover > a.docHeaderLink {
	visibility:visible;
}