@import "style.css";

/* copy of div.main */
div.document {
	margin: 1em auto 1em auto;
	max-width: 50em;
	padding: 0 20pt 1em 20pt;
	border: solid 1px #ADA;
	background: #FFFFFF;
}

h1 {
	font-size: large;
}

h1.title {
	font-size: x-large;
	padding-left: 10px;
	background-color: #d2e9ff;
	border: 1px dotted #01a2ed;
	color: black;
}

h2 {
	color: #2b8fc5;
	font-size: medium;
	padding-top: 5pt;
}

/* copies of a and a:hover */
a.reference {
	text-decoration: none;
	color: #4322FF;
}

a.reference:hover {
	text-decoration: underline;
	color: #c00;
}

/* a of other classes are just text */
a {
	text-decoration: none;
	color: black;
}

a:hover {
	text-decoration: none;
	color: black;
}



/* Tables */

table.docutils {
	border-collapse: collapse;
	border: 1px solid grey; 
}

table.docutils thead th {
	color: black;
	background: #CCE;
}

table.docutils td {
	border: 1px solid grey;
	padding: 3pt;
}


/* Definition lists */

dl.docutils dt {
	font-weight: bold;
	margin-top: 1em;
}

dl.docutils dd p.first {
	margin-top: 0;
}