html, body {
    top: 0px;
    padding: 0px;
    margin: 0px;
    font-size: 16px;
    height: 100vh;
    top: 0px;
	font-family: 'DejaVu Sans';
}

h1#title {
	text-align:center;
	padding: 40px 0;
}

div#page {
    min-height: 100vh;
    display: flex;
    flex-direction: column;
	background-color: #eee;
}

div#bodycontainer {
	min-height: 100vh;
	max-width: 1200px;
	margin-top: 0px;
	background-color: #fff;
}

.darkbar {
    background-color: #3e3f3a;
    color: #ccc;
    margin: 0px;
    padding: 20px 0px;
}

.darkbar a:link,
.darkbar a:visited,
.darkbar a:hover,
.darkbar a:active {
    color: #ccc;
    text-decoration: none;
}

.darkbar a:hover {
    color: white;
}

footer {
    margin-top: auto !important;
    margin-bottom: 0px !important;
}


a:link,
a:visited,
a:hover,
a:active {
    text-decoration: none;
	font-weight: 700;
	color: #888;
}

a:hover {
    color: #999;
}




div.inst {
	border: 1px solid #ddd;
	border-radius: 20px;
	padding: 20px;
	background-color: #ded;
}

div.inst_name {
	font-size: 24px;
	font-weight: bold;
	color: green !important;
}
div.inst_subname {
	font-size: 22px;
	font-weight: bold;
	margin-bottom: 20px;
}

div.inst strong {
	font-weight: 700;
}

table.inst_info {
	width: 100%;
}

div.pi {
	border: 1px solid #ddd;
	border-radius: 20px;
	padding: 20px;
	background-color: #ede;
}

div.pi_name {
	font-size: 24px;
	font-weight: bold;
	color: green !important;
}
div.pi_subname {
	font-size: 22px;
	font-weight: bold;
	margin-bottom: 20px;
}

/*div.pi_research ul,*/
div.pi_tags ul,
div.pi_techniques ul {
	list-type: none;
	display: inline;
	line-height: 2em;
	margins: 0;
	padding: 0;
}
/*div.pi_research ul li,*/
div.pi_tags ul li,
div.pi_techniques ul li {
	display: inline;
}
div.pi_research ul li a,
div.pi_tags ul li a,
div.pi_techniques ul li a {
	font-size: 14px;
	display:inline-block;
	background-color: #cee;
	border-radius: 10px;
	padding: 0px 5px;
	margin-right: 10px;
	margin-bottom: 5px;
}
div.pi_tags ul li a {
	background-color: #eec;
}
div.pi_techniques ul li a {
	background-color: #ece;
}