@import url(//fonts.googleapis.com/css?family=Open+Sans:300,400,700,600);
@import url(//fonts.googleapis.com/css?family=Inconsolata);

body {
    margin-top: 0;
}

body, table {
  font-size: 12pt;
  font-family: 'Open Sans', 'Helvetica', sans-serif;
  font-weight: 300;
}

div.comment-container {
    margin-top: 3em;
}

div.comment-container a.about-comments {
    color: black;
    text-decoration: none;
}

div.comment-container .comment-anchor {
    color: black;
    text-decoration: none;
}

div.comment-container .comment {
    margin-top: 1em;
    padding-top: 0.2em;
    border-top: solid #ccc 1px;
}

div.comment-container .comment-author {
    font-family: 'Open Sans', 'Helvetica', sans-serif;
}

div.comment-container .comment-date {
    font-family: 'Open Sans', 'Helvetica', sans-serif;
    font-size: 80%;
    color: #888;
}

div.comment-container .comment-in-reply-to {
    font-family: 'Open Sans', 'Helvetica', sans-serif;
    font-size: 80%;
}

div.comment-container .comment-text {
    margin-left: 2em;
}

.redacted {
	color: black;
	background-color: black;
}

.footnotes {
  font-size: 80%;
}

.center { text-align: center; }
.vcenter { vertical-align: middle; }

.floatleft  { float: left;  }
.floatright { float: right; }
.clear      { clear: both;  }

#page {
    margin-left: auto;
    margin-right: auto;
    max-width: 40em;
    min-width: 20em;
}

.limit-width {
    max-width: 40em;
}

#banner_img {
    width: 100%;
    vertical-align: bottom;
}

#banner h1 {
    position: relative;
    bottom: 1.5em;
    right: 0.5em;
    height: 0;
    text-align: right;
    paddingx-bottom: 0.2em;
    margin: 0;
    font-family: 'georgia', 'times new roman', serif;
}

#banner h1 a {
    text-decoration: none;
    color: black;
}

#menu {
    border-top: solid black 2px;
    padding-top: 0.4em;
    text-align: center;
    background-color: #eee;
}

#footer {
    margin-top: 1em;
    text-align: center;
    background-color: #eee;
    padding-bottom: 0.4em;
    border-bottom: solid black 2px;
}

h1, h2, h3, h4, th {
  font-family: 'Open Sans', 'Helvetica', sans-serif;
  font-weight: 600;
}

.story-title {
    border-bottom: solid black 1px;
    margin-bottom: 0em;
}

.story-author {
    font-weight: normal;
    margin: 0;
    margin-top: 0.4em;
    margin-bottom: 1em;
    margin-left: 1em;
}

.story-title a, .story-author a {
    text-decoration: none;
    color: black;
}

.story-author .avatar {
    vertical-align: middle;
}

.story-author .twitter {
    font-size: 75%;
}

ul, ol {
    padding-left: 2em;
}

hr {
    border: none;
    border-bottom: solid #ccc 1px;
    height: 1px;
}

.story-footer {
    font-size: 70%;
}

h5 {
  font-size: 12pt; /* same as a paragraph */
  margin: 1.5em 0 0 0;
}

pre, code {
    font-family: 'Inconsolata';
    font-size: 110%;
}

figure {
    margin: inherit;
}

pre.code, pre code {
    display: block;
    font-size: 90%;
    margin-left: 1em;
    margin-right: 1em;
    background-color: #eee;
    color: #060;
}

code {
    color: #060;
}

a code {
    color: #06c;
}
a:visited code {
    color: #868;
}

table {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	border-collapse: collapse;
	border: none;
	font-size: 80%;
}

table.columnar {
	border: solid black 1px;
}

table td {
	border-right: solid gray 1px;
	border-bottom: solid gray 1px;
	padding: 0.125em;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

table.columnar td {
	border-bottom: none;
	border-right: solid black 1px;
}

table th {
	border: solid black 1px;
	text-align: left;
	padding: 0.125em;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

table.columnar th {
	border-bottom: solid gray 1px;
}

table tr {
	vertical-align: top;
}

table.columnar tr {
}

th.noborder {
    border: none;
}

table.noborder td, table.noborder th {
    border: none;
}

div.sitemap_subcategory {
    margin-left: 2em;
}
#content>a.sitemap_categorylink {
  padding-top: 1em;
}
a.sitemap_categorylink {
  font-style: italic;
  font-weight: bold;
  display: block;
  text-decoration: none;
  border-bottom: solid blue 1px;
}

blockquote {
    margin-left: 1em;
    border-left: solid #060 1px;
    padding-left: 1em;
    color: #060;
    font-size: 90%;
}

span.draft {
}

span.highlight {
    background: #ff8;
    font-weight: 400;
}

/*---------------------------------------------------------------------------*/

@media (max-width: 42em) {
    pre {
	font-size: 75%;
    }
    .limit-width {
        max-width: 100%;
    }
}

@media (max-width: 32em) {
    pre {
	font-size: 50%;
    }
    .limit-width {
        max-width: 100%;
    }
}