@font-face {
	font-family: TerminalFont;
	src: url("../font/liberation-fonts-ttf-2.1.5/LiberationMono-Regular.ttf");
}
* {
	color: #eee;
	margin: 0;
	padding: 0;
	font-family: TerminalFont;
}
html {
	background-color: #0f0f0f;
}
#top_bar {
	/*background-color: #1f1f1f;*/
}
.top_bar_link_holder {
	padding: 10px 10px 10px 10px;
	list-style-type: none;
}
.top_bar_link_holder > li {
	display: inline;
	margin: 0 15px 0 0;
}
hr {
	color: #333;
	height: 1px;
}
#main{
	padding: 8px;
}
.section{
	padding: 0 0 10px 0;
}
.section_header{
	font-size: 20px;
	padding: 0 0 4px 0;
}
.section_body{
	font-size: 14px;
	padding: 0 0 4px 0;
}
.highlight{
	display: inline;
	background-color: #1f1f1f;
	padding: 3px 4px 1px 4px;
	border-radius: 5px;
}
#footer_made_by {
	font-size: 12px;
	display: flex;
	justify-content: center;
	align-items: center;
	margin-top: 10px; 
}