.bolditalic {
	font-weight: bold;
	font-style: italic;
}

.mono {
	font-family: monospace;
}

.wy-nav-content {
	max-width: 95%;
}

.rst-content {
	max-width: 95%;
}

div.wy-side-nav-search {
	background-color: #ffffff;
}