@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 400;
  font-display: block;
  src: local('Open Sans Regular'), local('OpenSans-Regular'), url(/opensans.ttf) format('truetype');
}
@font-face {
  font-family: 'Iosevka';
  font-style: normal;
  font-weight: 400;
  font-display: block;
  src: local('Iosevka Term'), url('iosevka-term-ss01-regular.ttf') format('truetype');
}

body {
	font-family: "Open Sans", Roboto, Arial, Helvetica, sans-serif;
	font-size: 15px;
	padding-bottom:0;
	padding-top:0;
	margin-bottom:0;
	margin-top:0;
	overflow-x: hidden;
}
p {
	font-family: "Open Sans", Roboto, Arial, Helvetica, sans-serif;
	font-size: 15px;
}
pre {
	font-family: "Iosevka", "mono";
	font-size: 11px;
}
code {
	font-family: "Iosevka", "mono";
	font-size: 11px;
}

div.header-region {
	background-color: #ccccdd;
}
div.footer-region {
	background-color: #ccccdd;
}
tr.repobar {
	background-color: #e6e6f2;
}
div.tabs li.selected {
	background: #e6e6f2;
	color: #333;
}

div.tabs a {
        color: #448;
}

div.tabs li.selected {
	background: #e6e6f2;
	color: #333;
}

div.tabs li {
	background: #c0c0d8;
}

div.tabs li:hover {
	background: #cccce8;
}

div.tabs a {
	color: #00c;
}
table.optsearch {
	display: none;
}
div.search {
	display:none;
}