body {
    font-family: "Helvetica Neue", HelveticaNeue, Arial, Helvetica, sans-serif;
    color: #111111;
    font-size: 14px;
}
ul, ol { padding: 0; }
img.left {
    display: inline;
    float: left;
    margin: 0 1.5em .75em 0;
}
img.right {
    display: inline;
    float: right;
    margin: 0 0 .75em .75em;
}
div#main-wrap {
    width: 62em;
    margin: 0 auto;
    margin-bottom: 5em;
}
div#content { width: 48em; }
div#header {
    margin-bottom: 1.5em;
    overflow: visible;
    white-space: nowrap;
}
div#header h1 {
    margin-top: 0.5em;
    margin-bottom: 0;
    letter-spacing: -3px;
    font-size: 3em;
    font-weight: normal;
    font-family: "Helvetica Neue", HelveticaNeue, Arial, Helvetica, sans-serif;
    display: inline;
    line-height: 1.5em;
}
div#header span.page-title {
    color: #666666;
    text-transform: lowercase;
}
div#nav {
    float: right;
    width: 8em;
    font-size: 1.5em;
    font-weight: bold;
    line-height: 2em;
}
div#nav ul li {
    list-style: none;
    border-bottom: 1px solid #eeeeee;
}
div#nav ul li:last-child { border-bottom: none; }
div#nav a {
    border: none;
    font-style: normal;
    color: #111111;
}
div#nav a:hover {
    color: #e50053;
    text-decoration: none;
}
div#nav img {
    border: none;
}
div#splash-info {
    font-size: 1.5em;
    line-height: 2em;
    text-align: right;
    color: #888888;
    font-family: "Helvetica Neue Light", HelveticaNeue-Light, Arial, Helvetica, sans-serif;
}
div#splash-info ul li {
    margin: 0;
    list-style: none;
    border-bottom: 1px solid #eeeeee;
}
div#splash-info ul li:last-child { border-bottom: none; }
div#section-listing {
    font-size: 1.5em;
    font-weight: bold;
    line-height: 2em;
    color: #888888;
}
div#section-listing ol { list-style: none; }
div#section-listing ol li {
    border-bottom: 1px solid #eeeeee;
    margin: 0;
}
div#section-listing ol li a { color: #111111; }
div#section-listing ol li a:hover {
    color: #e50053;
    text-decoration: none;
}
div#section-listing ol li span.snip {
    font-size: 0.65em;
    line-height: 1em;
    margin-left: 0.5em;
    font-weight: normal;
}
div#section-listing ol li:last-child { border-bottom: none; }
a {
    text-decoration: none;
    color: #e50053;
}
a:hover { text-decoration: underline; }
h1 a { color: #111111; }
h1 a:hover {
    color: #e50053;
    text-decoration: none;
}
h2 a { color: #111111; }
h2 a:hover {
    color: #e50053;
    text-decoration: none;
}
h3 a { color: #111111; }
h3 a:hover {
    color: #e50053;
    text-decoration: none;
}
h4 a { color: #111111; }
h4 a:hover {
    color: #e50053;
    text-decoration: none;
}
h5 a { color: #111111; }
h5 a:hover {
    color: #e50053;
    text-decoration: none;
}
h6 a { color: #111111; }
h6 a:hover {
    color: #e50053;
    text-decoration: none;
}
code, pre {
    font-family: Consolas, Monaco, "Courier New", monospace;
    font-size: 12px;
    line-height: 21px;
}
p code {
    border: 1px solid #cccccc;
    background-color: #fafafa;
    padding: 1px 3px;
    white-space: nowrap;
}
li code {
    border: 1px solid #cccccc;
    background-color: #fafafa;
    padding: 1px 3px;
    white-space: nowrap;
}
pre {
    border: 1px solid #cccccc;
    background-color: #fafafa;
    padding: 0px 5px;
    margin-left: 2em;
    overflow: auto;
}
.dsq-comment-message code {
    display: block;
    white-space: pre;
    border: 1px solid #cccccc;
    background-color: #fafafa;
    padding: 0px 5px;
    margin-left: 2em;
    overflow: auto;
}
blockquote {
    border: 1px solid #cccccc;
    background-color: #fafafa;
    padding: 0px 5px;
    margin-left: 2em;
    overflow: auto;
}
blockquote p:last-child { margin-bottom: 0; }
span.dquo { margin-left: -0.23em; }
div.toc ul { list-style: none; }
div.toc ul:first-child > li { margin-left: 0em; }
span.amp {
    font-family: "Palatino", "Constantia", "Palatino Linotype", serif;
    font-style: italic;
}
div#section-listing ol li a span.amp {
    font-weight: bold;
    line-height: 0.85em;
    font-size: 1.1em;
    color: inherit;
}
h1 span.amp {
    font-weight: bold;
    line-height: 0.5em;
    font-size: 1.1em;
    color: inherit;
}
h2 span.amp {
    font-weight: bold;
    line-height: 0.5em;
    font-size: 1.1em;
    color: inherit;
}
h3 span.amp {
    font-weight: bold;
    line-height: 0.5em;
    font-size: 1.1em;
    color: inherit;
}
h4 span.amp {
    font-weight: bold;
    line-height: 0.5em;
    font-size: 1.1em;
    color: inherit;
}
h5 span.amp {
    font-weight: bold;
    line-height: 0.5em;
    font-size: 1.1em;
    color: inherit;
}
h6 span.amp {
    font-weight: bold;
    line-height: 0.5em;
    font-size: 1.1em;
    color: inherit;
}
span.page-title span.amp {
    font-weight: normal;
    font-size: 1em;
    line-height: 0.5em;
}
div#leaf-title h1 {
    font-size: 2em;
    font-weight: 700;
}
div#leaf-stats p {
    color: #666666;
    margin-top: -1em;
    margin-bottom: 1em;
}
div#leaf-content h1 {
    font-size: 2em;
    font-weight: 700;
}
div#leaf-content h2 {
    font-size: 1.5em;
    font-weight: 700;
}
div#leaf-content h3 {
    font-size: 1.3em;
    font-weight: 700;
}
div#leaf-content img {
    display: block;
    margin-left: auto;
    margin-right: auto;
    border: 1.43em solid #e5e5e5;
    padding: 1px;
}
div#leaf-content ul, ol {
    padding-left: 30px;
}
div#leaf-content img.left {
    border: none;
    background: none;
    padding: 0;
}
div#leaf-content img.right {
    border: none;
    background: none;
    padding: 0;
}
div#leaf-content img.left { margin: 0 1.5em 1em 0; }
div#leaf-content img.right { margin: 0 0 0.75em 1em; }
div#leaf-content div.gallery img {
    background: none;
    padding: 0;
    border: none;
    display: inline;
    margin-bottom: 1.5em;
    margin-right: 1.5em;
}
div#leaf-content.with-diagrams img {
    display: block;
    margin-left: auto;
    margin-right: auto;
    background: none;
    border: none;
}
h1#comment-header { font-size: 2em; font-weight: 700; margin-top: 1.5em; }
div#disqus_thread ul#dsq-comments li div div { font-size: 14px; }
div#disqus_thread ul#dsq-comments li { margin-bottom: 2em; }
div#disqus_thread div.dsq-comment-message blockquote { margin-bottom: 0em; }
div#dsq-comments-title h3 {
    font-size: 14px;
    font-weight: normal;
    color: #666666;
    margin-top: -1em;
    margin-bottom: 1em;
}
div.dsq-options { display: none; }
div#content div#disqus_thread ul#dsq-comments li div table tbody tr { background: #eeeeee; }
div#content div#disqus_thread ul#dsq-comments li div table {
    background: #e5e5e5;
    border: 1px solid #bbbbbb;
}
div#dsq-new-post.dsq-post-area { margin-top: 2.25em; }
div#dsq-thread-settings.dsq-thread-settings {
    margin-top: 2em;
    margin-bottom: 0em;
    font-size: 14px;
}
div#disqus_thread table tbody tr td.dsq-request-user-name small { font-size: 14px; }
#dsq-new-post div.dsq-request-user-info a { font-size: 14px; }
div#section-tags {
    margin: 0 0 0 0.4em;
    display: inline-block;
    font-family: "Helvetica Neue Light", HelveticaNeue-Light, "Helvetica Neue", HelveticaNeue, Arial, Helvetica, sans-serif;
}
div#section-tags p {
    font-size: 1.1em;
    line-height: 1.05em;
    margin: 0;
}
div#section-tags p a { color: #666666; }
div#section-tags p a:hover {
    color: #e50053;
    text-decoration: none;
}
div#section-tags div.section-tags-col {
    display: inline-block;
    margin-right: 1em;
}