body, div.sphinxsidebar, div.footer {
	font-family: "DejaVu Serif", serif;
	font-size: 14px;
}

div.body h1 {
	font-size: 32px;
}

.blurb {
	font-family: "Century Schoolbook L", serif;
	font-size: 14px;
}

h1.logo-name {
	color: #444;
	font-size: 14px;
	font-weight: normal;
}

li.toctree-l1 {
	font-size: 12px;
}

.internal, .external {
	font-size: larger;
}