/* We start with a reset: put your styles at the end. */

/*! normalize.css v4.1.1 | MIT License | github.com/necolas/normalize.css */

/**
 * 1. Change the default font family in all browsers (opinionated).
 * 2. Prevent adjustments of font size after orientation changes in IE and iOS.
 */

html {
    font-family: sans-serif; /* 1 */
    -ms-text-size-adjust: 100%; /* 2 */
    -webkit-text-size-adjust: 100%; /* 2 */
}

/**
 * Remove the margin in all browsers (opinionated).
 */

body {
    margin: 0;
}

/* HTML5 display definitions
   ========================================================================== */

/**
 * Add the correct display in IE 9-.
 * 1. Add the correct display in Edge, IE, and Firefox.
 * 2. Add the correct display in IE.
 */

article,
aside,
details, /* 1 */
figcaption,
figure,
footer,
header,
main, /* 2 */
menu,
nav,
section,
summary { /* 1 */
    display: block;
}

/**
 * Add the correct display in IE 9-.
 */

audio,
canvas,
progress,
video {
    display: inline-block;
}

/**
 * Add the correct display in iOS 4-7.
 */

audio:not([controls]) {
    display: none;
    height: 0;
}

/**
 * Add the correct vertical alignment in Chrome, Firefox, and Opera.
 */

progress {
    vertical-align: baseline;
}

/**
 * Add the correct display in IE 10-.
 * 1. Add the correct display in IE.
 */

template, /* 1 */
[hidden] {
    display: none;
}

/* Links
   ========================================================================== */

/**
 * 1. Remove the gray background on active links in IE 10.
 * 2. Remove gaps in links underline in iOS 8+ and Safari 8+.
 */

a {
    background-color: transparent; /* 1 */
    -webkit-text-decoration-skip: objects; /* 2 */
}

/**
 * Remove the outline on focused links when they are also active or hovered
 * in all browsers (opinionated).
 */

a:active,
a:hover {
    outline-width: 0;
}

/* Text-level semantics
   ========================================================================== */

/**
 * 1. Remove the bottom border in Firefox 39-.
 * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
 */

abbr[title] {
    border-bottom: none; /* 1 */
    text-decoration: underline; /* 2 */
    text-decoration: underline dotted; /* 2 */
}

/**
 * Prevent the duplicate application of `bolder` by the next rule in Safari 6.
 */

b,
strong {
    font-weight: inherit;
}

/**
 * Add the correct font weight in Chrome, Edge, and Safari.
 */

b,
strong {
    font-weight: bolder;
}

/**
 * Add the correct font style in Android 4.3-.
 */

dfn {
    font-style: italic;
}

/**
 * Correct the font size and margin on `h1` elements within `section` and
 * `article` contexts in Chrome, Firefox, and Safari.
 */

h1 {
    font-size: 2em;
    margin: 0.67em 0;
}

/**
 * Add the correct background and color in IE 9-.
 */

mark {
    background-color: #ff0;
    color: #000;
}

/**
 * Add the correct font size in all browsers.
 */

small {
    font-size: 80%;
}

/**
 * Prevent `sub` and `sup` elements from affecting the line height in
 * all browsers.
 */

sub,
sup {
    font-size: 75%;
    line-height: 0;
    position: relative;
    vertical-align: baseline;
}

sub {
    bottom: -0.25em;
}

sup {
    top: -0.5em;
}

/* Embedded content
   ========================================================================== */

/**
 * Remove the border on images inside links in IE 10-.
 */

img {
    border-style: none;
}

/**
 * Hide the overflow in IE.
 */

svg:not(:root) {
    overflow: hidden;
}

/* Grouping content
   ========================================================================== */

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */

code,
kbd,
pre,
samp {
    font-family: monospace, monospace; /* 1 */
    font-size: 1em; /* 2 */
}

/**
 * Add the correct margin in IE 8.
 */

figure {
    margin: 1em 40px;
}

/**
 * 1. Add the correct box sizing in Firefox.
 * 2. Show the overflow in Edge and IE.
 */

hr {
    box-sizing: content-box; /* 1 */
    height: 0; /* 1 */
    overflow: visible; /* 2 */
}

/* Forms
   ========================================================================== */

/**
 * 1. Change font properties to `inherit` in all browsers (opinionated).
 * 2. Remove the margin in Firefox and Safari.
 */

button,
input,
select,
textarea {
    font: inherit; /* 1 */
    margin: 0; /* 2 */
}

/**
 * Restore the font weight unset by the previous rule.
 */

optgroup {
    font-weight: bold;
}

/**
 * Show the overflow in IE.
 * 1. Show the overflow in Edge.
 */

button,
input { /* 1 */
    overflow: visible;
}

/**
 * Remove the inheritance of text transform in Edge, Firefox, and IE.
 * 1. Remove the inheritance of text transform in Firefox.
 */

button,
select { /* 1 */
    text-transform: none;
}

/**
 * 1. Prevent a WebKit bug where (2) destroys native `audio` and `video`
 *    controls in Android 4.
 * 2. Correct the inability to style clickable types in iOS and Safari.
 */

button,
html [type="button"], /* 1 */
[type="reset"],
[type="submit"] {
    -webkit-appearance: button; /* 2 */
}

/**
 * Remove the inner border and padding in Firefox.
 */

button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
    border-style: none;
    padding: 0;
}

/**
 * Restore the focus styles unset by the previous rule.
 */

button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
    outline: 1px dotted ButtonText;
}

/**
 * Change the border, margin, and padding in all browsers (opinionated).
 */

fieldset {
    border: 1px solid #c0c0c0;
    margin: 0 2px;
    padding: 0.35em 0.625em 0.75em;
}

/**
 * 1. Correct the text wrapping in Edge and IE.
 * 2. Correct the color inheritance from `fieldset` elements in IE.
 * 3. Remove the padding so developers are not caught out when they zero out
 *    `fieldset` elements in all browsers.
 */

legend {
    box-sizing: border-box; /* 1 */
    color: inherit; /* 2 */
    display: table; /* 1 */
    max-width: 100%; /* 1 */
    padding: 0; /* 3 */
    white-space: normal; /* 1 */
}

/**
 * Remove the default vertical scrollbar in IE.
 */

textarea {
    overflow: auto;
}

/**
 * 1. Add the correct box sizing in IE 10-.
 * 2. Remove the padding in IE 10-.
 */

[type="checkbox"],
[type="radio"] {
    box-sizing: border-box; /* 1 */
    padding: 0; /* 2 */
}

/**
 * Correct the cursor style of increment and decrement buttons in Chrome.
 */

[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
    height: auto;
}

/**
 * 1. Correct the odd appearance in Chrome and Safari.
 * 2. Correct the outline style in Safari.
 */

[type="search"] {
    -webkit-appearance: textfield; /* 1 */
    outline-offset: -2px; /* 2 */
}

/**
 * Remove the inner padding and cancel buttons in Chrome and Safari on OS X.
 */

[type="search"]::-webkit-search-cancel-button,
[type="search"]::-webkit-search-decoration {
    -webkit-appearance: none;
}

/**
 * Correct the text style of placeholders in Chrome, Edge, and Safari.
 */

::-webkit-input-placeholder {
    color: inherit;
    opacity: 0.54;
}

/**
 * 1. Correct the inability to style clickable types in iOS and Safari.
 * 2. Change font properties to `inherit` in Safari.
 */

::-webkit-file-upload-button {
    -webkit-appearance: button; /* 1 */
    font: inherit; /* 2 */
}

/* I made this! With an 7px grid. */

html {
    font-family: Constantia, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
    padding: 7px;
}

body {
    max-width: 800px;
    margin: 0 auto;
    font-size: 18px;
    line-height: 28px;
}

h1 {
    font-weight: normal;
    font-size: 30px;
    line-height: 35px;
    margin: 7px 0 9px;
}

article > h1,
h2, h3 {
    font-weight: normal;
    font-size: 21px;
    line-height: 28px;
    margin-bottom: 14px;
}

article h1,
article h2,
article h3 {
    margin-top: 42px;
}

h3 {
    font-style: italic;
}

h4, h5 {
    font-weight: normal;
    font-size: 18px;
    line-height: 28px;
    margin-bottom: 10px;
}

h5 {
    font-style: italic;
}

p {
    margin-bottom: 10px;
}

a {
    color: rgb(100,100,255);
    text-decoration: none;
}

a:hover,
a:hover:visited,
a:visited:hover {
    color: rgb(0,0,255);
    text-decoration: underline;
}

a:visited {
    color: rgb(100,100,200);
}

ul, ol,
ul li,
ol li {
    margin-bottom: 7px;
}

pre,
pre code {
    font-family: "Courier Prime", Courier, monospace;
    max-width: 100%;
    overflow: auto;
}

.footer {
    clear: both;
    font-size: 16px;
    line-height: 21px;
    margin: 7px 0 0;
    padding: 7px 0 0 0;
    border-top: 1px solid rgb(200, 200, 200);
}
ul.footer {
    display: block;
}
address {
    display: inline; 
    font-style: normal;
}
ul.footer li {
    display: inline;
    position: relative;
    background-color: white;
    padding: 0 1em 0 0;
    color: rgb(100,100,100);
}
.copyright > a { 
    color: rgb(100,100,100);
}

/* hcard classes that should be hidden */
.url, .tel {
    display: none;
}
kbd { color: red; }
hr {
    border: none;
    border-top: 1px solid rgb(200, 200, 200);
}

ol.pagination {
    width: 100%;
    text-align: center;
    margin: 0;
    padding: 0;
}

ol.pagination > li {
    list-style: none;
    display: inline;
    margin: 0 1em;
}

body.blog > ol.bumpers {
    text-align: center;
    padding: 0;
    font-size: 14px;
    line-height: 21px;
    margin-bottom: 7px;
}

body.blog > ol.bumpers:after {
    content: " ";
    display: table;
    clear: both;
}

body.blog > ol.bumpers > li.previous > a:before {
    content: "< ";
}

body.blog > ol.bumpers > li.next > a:after {
    content: " >";
}

body.blog > ol.bumpers > li {
    list-style: none;
    display: block;
    padding: 0;
    margin: 0;
}

body.blog > ol.bumpers > li.previous {
    float: left;
}

body.blog > ol.bumpers > li.next {
    float: right;
}

/* Heading link indicators; note that the selectors are tightly
 * bound with the selector used in the Javascript to generate the
 * HTML.
 *
 * 1. Don't show them except on hover.
 * 2. Don't underline; this is a common-ish pattern.
 * 3. Undo any italics styling from the heading itself.
 * 4. Make the colour of normal unhovered links (slightly less bright).
 */

article h1[id] > a.link-indicator,
article h2[id] > a.link-indicator,
article h3[id] > a.link-indicator,
article h4[id] > a.link-indicator,
article h5[id] > a.link-indicator,
article h6[id] > a.link-indicator {
    display: none; /* [1] */
    text-decoration: none; /* [2] */
    font-style: normal; /* [3] */
}

article h1[id]:hover > a.link-indicator,
article h2[id]:hover > a.link-indicator,
article h3[id]:hover > a.link-indicator,
article h4[id]:hover > a.link-indicator,
article h5[id]:hover > a.link-indicator,
article h6[id]:hover > a.link-indicator {
    display: inline; /* [1] */
    color: rgb(100,100,255); /* [4] */
}

/* Some specific styles */

p.intro {
    color: rgb(100, 100, 100);
    font-size: 18px;
    line-height: 28px;
    margin-bottom: 10px;
}

.warning {
    color: red;
    border: 1px solid #777;
    border-radius: 5px;
    background-color: #ddd;
    font-family: helvetica, sans-serif;
    margin: 1px 0 6px;
    padding: 6px 5px;
}

/* Home specialisation */

.home > ol.articles {
    margin-bottom: 7px;
    padding: 0 0 0 40px;
}

.home > ol.articles > li {
    list-style: disc;
    margin-bottom: 0;
}

.home > ol.articles > li.older {
    list-style: none;
    display: block;
    margin: 21px 0 7px -40px;
}

/* Blog specialisation */

.blog > ol.jumplist > li {
    margin-bottom: 0px;
}

.blog > article + article {
    margin-top: 70px;
}

.blog table th {
    text-align: left;
    vertical-align: bottom;
}

.blog table td {
    vertical-align: top;
}

.blog dl.metadata dt:first-child {
    position: absolute;
    left: -9999px;
    margin: 0;
}

.blog dl.metadata dt {
    text-transform: lowercase;
    display: inline;
    margin: 0;
}

.blog dl.metadata dt:before {
    content: "; ";
}

.blog dl.metadata dd,
.blog dl.metadata dd > ul,
.blog dl.metadata dd > ul > li {
    display: inline;
    margin: 0;
    padding: 0;
}

.blog dl.metadata dd > ul:before {
    content: " ";
}

.blog dl.metadata dd > ul > li + li:before {
    content: ", ";
}

.blog dl.metadata:after {
    content: ".";
}

.blog dl.metadata,
.blog p.dateline {
    font-size: 14px;
    line-height: 21px;
    margin: 0 0 7px 0;
}

/* Images! */
/* inline in the text, not inline in a CSS sense */
img.inline {
    display: block;
    max-width: 100%;
    height: auto;
    margin: 0 auto 7px;
}
@media (min-width: 768px) {
    img.inline {
	float: right;
	margin: 0 0 7px 20px;
    }
    img.left {
	float: left;
	margin: 0 20px 7px 0;
    }
    img.center {
	float: none;
	margin: 0 auto 7px;
    }
}

/* okay, some style rules so that old-style diary entries with quotes
 * look good
 */
.diaryquote:before {
    content: open-quote;
}
.diaryquote:after {
    content: close-quote;
}
.diaryquote {
    text-align: right;
    font-style: italic;
    font-size: 80%;
    color: rgb(150,150,150);
}
.diaryquotesource {
    text-align: right;
    font-style: italic;
    font-size: 80%;
    color: rgb(150,150,150);
}
.diaryquotesource + hr {
    border: 0;
    height: 0;
}
.diaryquote + hr {
    border: 0;
    height: 0;
}

/* And some other quotes */
blockquote,
q {
    color: rgb(0,150,100);
}
q:before {
    content: '\201c';
}
q:after {
    content: '\201d';
}
blockquote {
    padding-left: 1em;
    margin-left: 0;
    font-size: 18px;
    line-height: 28px;
    margin-bottom: 10px;
}
blockquote[cite]:after {
    margin-top: 14px;
    font-size: 14px;
    line-height: 21px;
    margin-bottom: 14px;
    text-align: right;
    display: block;
    content: attr(cite);
    color: #c0c0c0;
}

/* Pygment styles */
.highlight,
.codehilite {
    padding-left: 1em;
    border-left: 1em solid #c0c0c0;
}

.c { color: #808080 } /* Comment */
.err { color: #F00000; background-color: #F0A0A0 } /* Error */
.k { color: #008000; font-weight: bold } /* Keyword */
.o { color: #303030 } /* Operator */
.cm { color: #808080 } /* Comment.Multiline */
.cp { color: #507090 } /* Comment.Preproc */
.c1 { color: #808080 } /* Comment.Single */
.gd { color: #A00000 } /* Generic.Deleted */
.ge { font-style: italic } /* Generic.Emph */
.gr { color: #FF0000 } /* Generic.Error */
.gh { color: #000080; font-weight: bold } /* Generic.Heading */
.gi { color: #00A000 } /* Generic.Inserted */
.go { color: #808080 } /* Generic.Output */
.gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
.gs { font-weight: bold } /* Generic.Strong */
.gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.gt { color: #0040D0 } /* Generic.Traceback */
.kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.kp { color: #003080; font-weight: bold } /* Keyword.Pseudo */
.kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.kt { color: #303090; font-weight: bold } /* Keyword.Type */
.m { color: #6000E0; font-weight: bold } /* Literal.Number */
.s { background-color: #fff0f0 } /* Literal.String */
.na { color: #0000C0 } /* Name.Attribute */
.nb { color: #007020 } /* Name.Builtin */
.nc { color: #B00060; font-weight: bold } /* Name.Class */
.no { color: #003060; font-weight: bold } /* Name.Constant */
.nd { color: #505050; font-weight: bold } /* Name.Decorator */
.ni { color: #800000; font-weight: bold } /* Name.Entity */
.ne { color: #F00000; font-weight: bold } /* Name.Exception */
.nf { color: #0060B0; font-weight: bold } /* Name.Function */
.nl { color: #907000; font-weight: bold } /* Name.Label */
.nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
.nt { color: #007000 } /* Name.Tag */
.nv { color: #906030 } /* Name.Variable */
.ow { color: #000000; font-weight: bold } /* Operator.Word */
.mf { color: #6000E0; font-weight: bold } /* Literal.Number.Float */
.mh { color: #005080; font-weight: bold } /* Literal.Number.Hex */
.mi { color: #0000D0; font-weight: bold } /* Literal.Number.Integer */
.mo { color: #4000E0; font-weight: bold } /* Literal.Number.Oct */
.sb { background-color: #fff0f0 } /* Literal.String.Backtick */
.sc { color: #0040D0 } /* Literal.String.Char */
.sd { color: #D04020 } /* Literal.String.Doc */
.s2 { background-color: #fff0f0 } /* Literal.String.Double */
.se { color: #606060; font-weight: bold; background-color: #fff0f0 } /* Literal.String.Escape */
.sh { background-color: #fff0f0 } /* Literal.String.Heredoc */
.si { background-color: #e0e0e0 } /* Literal.String.Interpol */
.sx { color: #D02000; background-color: #fff0f0 } /* Literal.String.Other */
.sr { color: #000000; background-color: #fff0ff } /* Literal.String.Regex */
.s1 { background-color: #fff0f0 } /* Literal.String.Single */
.ss { color: #A06000 } /* Literal.String.Symbol */
.bp { color: #007020 } /* Name.Builtin.Pseudo */
.vc { color: #306090 } /* Name.Variable.Class */
.vg { color: #d07000; font-weight: bold } /* Name.Variable.Global */
.vi { color: #3030B0 } /* Name.Variable.Instance */
.il { color: #0000D0; font-weight: bold } /* Literal.Number.Integer.Long */