/* Remove margin on table headers. */
th > p
{
	margin: 0;
}

/* Fix padding when a ordered list continas a bullet list */
.rst-content li > p
{
	margin: 0 !important;
}

.rst-content ol li > ul.simple
{
	margin-bottom: 6px;
}

/* Increased margin between figure and its caption. */
.rst-content div.figure p.caption
{
	margin-top: 6px;
}

.rst-content .wy-table-responsive table td
{
	white-space: unset;
}

/* Allow rubric styled as h1 */
.rst-content p.h1.rubric
{
	margin: 0;
	padding: 0;
	margin-bottom: 23.24px;
	font-weight: 700;
	font-size: 175%;
	font-family: Roboto Slab,ff-tisa-web-pro,Georgia,Arial,sans-serif;
}

/* Change colors to yellow */
.wy-side-nav-search {
	background-color: #fdb101;
}

.wy-side-nav-search input[type="text"] {
	border-color: #bd8400;
}

.wy-menu-vertical header, .wy-menu-vertical p.caption {
	color: #fdb101;
}

.wy-menu-vertical a:active {
	background-color: #fdb101;
}

/* Always show language selection, even on phones. */
.wy-breadcrumbs li.wy-breadcrumbs-aside {
	display: block !important;
	float: none !important;
}