@import url(http://fonts.googleapis.com/css?family=Source+Sans+Pro:400,400italic,700&subset=latin,latin-ext);
@import url(http://fonts.googleapis.com/css?family=Source+Code+Pro:400,400italic,700&subset=latin,latin-ext);

@font-face {
	font-family: 'LucidaSansUnicode';
	src: url('/fonts/LucidaSansUnicode/lucida-sans-unicode.eot');
	src: url('/fonts/LucidaSansUnicode/lucida-sans-unicode.eot?#iefix') format('embedded-opentype'),
	url('/fonts/LucidaSansUnicode/lucida-sans-unicode.woff') format('woff'),
	url('/fonts/LucidaSansUnicode/lucida-sans-unicode.ttf') format('truetype'),
	url('/fonts/LucidaSansUnicode/lucida-sans-unicode.svg#LucidaSansUnicode') format('svg');
}

div.tty {display: none }

@media tty {
	div.tty { display: show }
}


body {
	margin-left: 1em;
	margin-top: 1em;
	margin-right: 1em;
	margin-bottom: 4em;
	font-family: "Source Sans Pro"; sans-serif;
	background-color: #ffe;
	text-align: left;
	color: #222;
}

h1, h2, h3 {
	font-family:"Source Sans Pro", sans-serif;
	font-weight: bold;
}

date { font-family: "Source Sans Pro", sans-serif; }
date:before { content:"[" }
date:after { content:"] " }
span.date { font-family: "Source Sans Pro", sans-serif; }
span.date:before { content:"[" }
span.date:after { content:"]" }

a:link {color:#444;text-decoration:underline;}
a:visited {color:#222;text-decoration:none;}
a:hover {background:#666;color:#eee;text-decoration:none;}
a:active {background:#666;color:#eee;text-decoration:none;}

div.links { 
/*	font-family: "Source Sans Pro", sans-serif;*/
	font-size:140%;
	position:fixed;
	bottom:1em;
	right:1em;
}

div.links br { display: none }

div.links a {
	text-decoration: none;
	background-color: #222;
	color: #eee;
	border-radius:1em;
	padding:.3em .5em;
}

/*
div.links a:link { color: #aaa; }
div.links a:visited { color: #aaa; }
div.links a:active { color: #222; }
div.links a:hover { background-color: #aaa; color: #222; }
*/

p.box {
	background-color: #efe;
	border: 1px dashed #6487dc;
	padding: 5px;
	font-size: 1.2em;
	font-family: "Source Sans Pro", monospace;
} 

p.ex {
	background-color: #efe;
	border: 1px dashed #6487dc;
	padding: 5px;
} 

dt {
	font-weight: bold;
/*	clear: both;
	float:left;
	font-size:190%;
	font-weight: normal;
	padding-right: .3em;
	margin-top: -.2em;
	*/
}

dt a {
	/*       font-family: Arial, Helvetica, sans-serif;*/
	font-size: 80%;
	font-weight: bold;
}

/*dd { margin-right: 2em; } /* wtf */
/*dd { margin-left: 0px; padding-bottom: 1em; }*/

table {
	width: 100%;
	margin-left: 0%;
	/*	border-top: 1px dotted #C8CACF;
	border-bottom: 1px dotted #C8CACF;*/
}

kbd { color: #285577; font-family: "Source Code Pro", Inconsolata, Courier }

td {
	padding: 0.5%;
}

td.header {
	border-bottom: 1px dotted #C8CACF;
	background-color: #6C6F72;
	color: #C8CACF;
	font-size: 80%;
}

tr.odd {  }
tr.even { background-color: #eeeedd; }
tr.chartspec { background-color: #ddddcc; }

address { font-family: "Source Sans Pro", monospace; font-style: normal; font-size: 80%; text-align: right}
span.ipa { font-family: "LucidaSansUnicode", sans-serif; font-weight: normal; color:#115500; font-variant: normal; /*color:#285599;*/ }
ip { font-family: "LucidaSansUnicode", sans-serif; font-weight: bold; color:#115500; font-variant: normal; /*color:#285599;*/ }
span.ipa { font-family: "Source Sans Pro", sans-serif; font-weight: bold; color:#115500; font-variant: normal; /*color:#285599;*/ }
ip { font-family: "Source Sans Pro", sans-serif; font-weight: bold; color:#115500; font-variant: normal; /*color:#285599;*/ }
sc { font-variant: small-caps; font-size: 110% }
ls { font-variant: small-caps }
tt { font-family: normal; font-style: italic; color:#115500; }