@font-face {
    font-family: "DejaVu Sans Mono";
    src: url("/font/DejaVuSansMono.eot?") format("eot"),
      url("/font/DejaVuSansMono.woff") format("woff"),
      url("/font/DejaVuSansMono.ttf") format("truetype"),
      url("/font/DejaVuSansMono.svg#DejaVuSansMono") format("svg");

    font-weight:normal;
    font-style:normal;
}

@font-face {
    font-family: "DejaVu Sans Mono";
    src: url("/font/DejaVuSansMono-Bold.eot?") format("eot"),
      url("/font/DejaVuSansMono-Bold.woff") format("woff"),
      url("/font/DejaVuSansMono-Bold.ttf") format("truetype"),
      url("/font/DejaVuSansMono-Bold.svg#DejaVuSansMono-Bold") format("svg");

    font-weight:bold;
    font-style:normal;
}


::selection {
    background: #ffffff; /* Safari */
    color: #000000;
}
::-moz-selection {
    background: #ffffff; /* Firefox */
    color: #000000;
}

* {
	padding:0;
	margin:0;

	color:inherit;
	font-family:inherit;
	font-size:inherit;
	font-style:inherit;
	font-weight:inherit;
}

html {
    background:#000000;
    color:#ffffff;

    font-family: "DejaVu Sans Mono";
    font-size: 14px;

    /*text-shadow:#505050 1px 1px 1px;*/
}

b, em {
    font-weight:bold;
}

body {
    width: 45em;
    margin:0 auto;
}

h2 { text-transform:uppercase; }
h3, h4, h5, h6 { margin-left:3em; }
h2, h3, h4, h5, h6 {
	font-weight:bold;
	margin-top:1em;
}

h1 { text-align: left; }

address, p, ul, ol, div, table { margin:1em 0em 1em 4em; }

.left   { text-align: left;   }
.middle { text-align: center; }
.right  { text-align: right;  }

.left, .middle, .right {
    display: inline-block;
    width: 33%;
}

.nd { display: none; }


.love { color: red; }
.nounderline { text-decoration: none; }

pre > code:not(.diagram) {
    margin-left: 2em;
    display: block;
    padding-left: 1ex;
    border-left: 0.5ex solid white;
    width: 80ex;
    padding-bottom: 1px;
}

dt {

}

/*
code:hover {
    padding-bottom: 0;
    border-bottom: 1px dashed red;
    border-right: 1px dashed red;
}
*/