@font-face {
    font-family: 'px437_ibm_vga8regular';
    src: url('../fonts/px437_ibm_vga8-webfont.woff2') format('woff2'),
         url('../fonts/px437_ibm_vga8-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: 'px437_ati_8x8regular';
    src: url('../fonts/px437_ati_8x8-webfont.woff2') format('woff2'),
         url('../fonts/px437_ati_8x8-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: 'pxplus_ibm_vga8regular';
    src: url('../fonts/pxplus_ibm_vga8-webfont.woff2') format('woff2'),
         url('../fonts/pxplus_ibm_vga8-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: 'px437_ati_8x16regular';
    src: url('../fonts/px437_ati_8x16-webfont.woff2') format('woff2'),
         url('../fonts/px437_ati_8x16-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}



body {
    margin: 0;
	background-color: black;
	font-family: "pxplus_ibm_vga8regular", monospace;
	font-size: 16px;
	color: white;
	margin-right: 15%;
}

footer {
	margin: 0;
	background-color: black;
	font-family: "pxplus_ibm_vga8regular", monospace;
	font-size: 16px;
	color: white;
	margin-right: 15%;
}

pre {
	font-family: "pxplus_ibm_vga8regular", monospace;
	font-size: 16px;
}


h2 {
	font-size: 20px;
	font-family: "pxplus_ibm_vga8regular", monospace;
	color: white;
	font-weight: normal;
	text-decoration: underline;
}

h1 {
	font-size: 16px;
	font-family: "pxplus_ibm_vga8regular", monospace;
	color: grey;
	font-weight: normal;
}

figure {
    display:table;
	margin:14px;
    padding:7px;
	width:14px;
	color:#808080;
}

em {
	color: green;
	font-style: normal; 
}

em.def {
	color: grey;
	font-style: normal; 
}

ul.butt {
    list-style-type: none;
    margin: 0;
    padding: 0;
    width: 10%;
    background-color: black;
    position: fixed;
    height: 100%;
    overflow: auto;
}


li.butt a {
    display: block;
	font-family: "pxplus_ibm_vga8regular", monospace;
    color: white;
/*	padding: 8px 16px;*/
    text-decoration: none;
}

li.butt a.active {
    background-color: grey;
	font-family: "pxplus_ibm_vga8regular", monospace;
    color: black;
}

li.butt a:hover:not(.active) {
    background-color: silver;
	font-family: "pxplus_ibm_vga8regular", monospace;
    color: black;
}

table, th, td {
    border: 1px solid white;
	border-collapse: collapse;
}

th, td {
    padding: 3px;
	font-weight: normal;
}

blockquote {
  border-left: 2px solid #c0c0c0;
  padding: 0.5em 10px;
}

.blogpost {
	border-bottom:2px solid #d1d1d1;
	margin-bottom:15px;
}

.blogdata {
	float: left;
	line-height: 1.4em;
	width: 25%;
	height: 100%;
	max-height: 150px;
	margin-right: 15px;
}

.blogtags {
	line-height: 2em;
}

.tags {
	display: inline;
	border-radius: 3px;
	border: 2px solid #00FFFF;
	padding: 0.2em 0.2em;
	text-transform: uppercase;
	white-space:nowrap;
}

.blogthumb {
	float: right;
	height: 100%;
    max-height: 150px;
}

.blogdesc {
	height: 100%;
	width: 75%;
	max-height: 150px;
	margin-bottom: 15px;
	margin-top: 15px;
}

.blogblurb {
	
}

.blogdate {
	color: #c0c0c0;
}