@import "../style.css";

.toc li.head a {
	padding-left: 0.4ex;
	font-weight: bolder;
	font-size: 120%;
}

.quickindex {
	font-size: smaller;
}

.d_decl { /* Big D declaration */
        font-family: "Bitstream Vera Sans Mono", "Courier New", monospace;
        font-size: 120%;
        font-weight: bold;
        text-align: left;
        padding: 2pt;
}

dd {
	font-size: 90%;
}

table {
	border-top: 1px solid gray;
	border-bottom: 1px solid gray;
	font-size: 90%;
}

dd table {
	font-size: 100%;
}

th {
	border-bottom: 1px dotted gray;
}