@import url('https://fonts.googleapis.com/css?family=PT+Sans|Lora:700italic');

/*! normalize.css v3.0.2 | MIT License | git.io/normalize */
html {
  font-family: sans-serif; /* 1 */
  -ms-text-size-adjust: 100%; /* 2 */
  -webkit-text-size-adjust: 100%; /* 2 */
}

/**
 * Remove default margin.
 */

body {
  margin: 0;
}

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

/**
 * Correct `block` display not defined for any HTML5 element in IE 8/9.
 * Correct `block` display not defined for `details` or `summary` in IE 10/11
 * and Firefox.
 * Correct `block` display not defined for `main` in IE 11.
 */

article,
aside,
details,
figcaption,
figure,
footer,
header,
hgroup,
main,
menu,
nav,
section,
summary {
  display: block;
}

/**
 * 1. Correct `inline-block` display not defined in IE 8/9.
 * 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera.
 */

audio,
canvas,
progress,
video {
  display: inline-block; /* 1 */
  vertical-align: baseline; /* 2 */
}

/**
 * Prevent modern browsers from displaying `audio` without controls.
 * Remove excess height in iOS 5 devices.
 */

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

/**
 * Address `[hidden]` styling not present in IE 8/9/10.
 * Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22.
 */

[hidden],
template {
  display: none;
}

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

/**
 * Remove the gray background color from active links in IE 10.
 */

a {
  background-color: transparent;
}

/**
 * Improve readability when focused and also mouse hovered in all browsers.
 */

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

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

/**
 * Address styling not present in IE 8/9/10/11, Safari, and Chrome.
 */

abbr[title] {
  border-bottom: 1px dotted;
}

/**
 * Address style set to `bolder` in Firefox 4+, Safari, and Chrome.
 */

b,
strong {
  font-weight: bold;
}

/**
 * Address styling not present in Safari and Chrome.
 */

dfn {
  font-style: italic;
}

/**
 * Address variable `h1` font-size and margin within `section` and `article`
 * contexts in Firefox 4+, Safari, and Chrome.
 */

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

/**
 * Address styling not present in IE 8/9.
 */

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

/**
 * Address inconsistent and variable font size in all browsers.
 */

small {
  font-size: 80%;
}

/**
 * Prevent `sub` and `sup` affecting `line-height` in all browsers.
 */

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

sup {
  top: -0.5em;
}

sub {
  bottom: -0.25em;
}

/* Borrowed from:
* Skeleton V2.0.4
* Copyright 2014, Dave Gamache
* www.getskeleton.com
* Free to use under the MIT license.
* http://www.opensource.org/licenses/mit-license.php
* 12/29/2014
*/


/* Grid
–––––––––––––––––––––––––––––––––––––––––––––––––– */
.container {
  position: relative;
  width: 100%;
  max-width: 960px;
  margin: 0 auto;
  padding: 0 20px;
  box-sizing: border-box; }
.column,
.columns {
  width: 100%;
  float: left;
  box-sizing: border-box; }

/* For devices larger than 400px */
@media (min-width: 400px) {
  .container {
    width: 85%;
    padding: 0; }
}

/* For devices larger than 550px */
@media (min-width: 550px) {
  .container {
    width: 80%; }
  .column,
  .columns {
    margin-left: 4%; }
  .column:first-child,
  .columns:first-child {
    margin-left: 0; }

  .one.column,
  .one.columns                    { width: 4.66666666667%; }
  .two.columns                    { width: 13.3333333333%; }
  .three.columns                  { width: 22%;            }
  .four.columns                   { width: 30.6666666667%; }
  .five.columns                   { width: 39.3333333333%; }
  .six.columns                    { width: 48%;            }
  .seven.columns                  { width: 56.6666666667%; }
  .eight.columns                  { width: 65.3333333333%; }
  .nine.columns                   { width: 74.0%;          }
  .ten.columns                    { width: 82.6666666667%; }
  .eleven.columns                 { width: 91.3333333333%; }
  .twelve.columns                 { width: 100%; margin-left: 0; }

  .one-third.column               { width: 30.6666666667%; }
  .two-thirds.column              { width: 65.3333333333%; }

  .one-half.column                { width: 48%; }

  /* Offsets */
  .offset-by-one.column,
  .offset-by-one.columns          { margin-left: 8.66666666667%; }
  .offset-by-two.column,
  .offset-by-two.columns          { margin-left: 17.3333333333%; }
  .offset-by-three.column,
  .offset-by-three.columns        { margin-left: 26%;            }
  .offset-by-four.column,
  .offset-by-four.columns         { margin-left: 34.6666666667%; }
  .offset-by-five.column,
  .offset-by-five.columns         { margin-left: 43.3333333333%; }
  .offset-by-six.column,
  .offset-by-six.columns          { margin-left: 52%;            }
  .offset-by-seven.column,
  .offset-by-seven.columns        { margin-left: 60.6666666667%; }
  .offset-by-eight.column,
  .offset-by-eight.columns        { margin-left: 69.3333333333%; }
  .offset-by-nine.column,
  .offset-by-nine.columns         { margin-left: 78.0%;          }
  .offset-by-ten.column,
  .offset-by-ten.columns          { margin-left: 86.6666666667%; }
  .offset-by-eleven.column,
  .offset-by-eleven.columns       { margin-left: 95.3333333333%; }

  .offset-by-one-third.column,
  .offset-by-one-third.columns    { margin-left: 34.6666666667%; }
  .offset-by-two-thirds.column,
  .offset-by-two-thirds.columns   { margin-left: 69.3333333333%; }

  .offset-by-one-half.column,
  .offset-by-one-half.columns     { margin-left: 52%; }

}

/* Base Styles
–––––––––––––––––––––––––––––––––––––––––––––––––– */
/* NOTE
html is set to 62.5% so that all the REM measurements throughout Skeleton
are based on 10px sizing. So basically 1.5rem = 15px :) */
html {
  font-size: 62.5%; }
body {
  font-size: 1.5em; /* currently ems cause chrome bug misinterpreting rems on body element */
  line-height: 1.6;
  font-weight: 400;
  /* font-family: "Raleway", "HelveticaNeue", "Helvetica Neue", Helvetica, Arial, sans-serif;*/
  color: #222; }


/* Typography
–––––––––––––––––––––––––––––––––––––––––––––––––– */
h1, h2, h3, h4, h5, h6 {
  margin-top: 0;
  margin-bottom: 2rem;
  font-weight: 300; }
h1 { font-size: 4.0rem; line-height: 1.2;  letter-spacing: -.1rem;}
h2 { font-size: 3.6rem; line-height: 1.25; letter-spacing: -.1rem; }
h3 { font-size: 3.0rem; line-height: 1.3;  letter-spacing: -.1rem; }
h4 { font-size: 2.4rem; line-height: 1.35; letter-spacing: -.08rem; }
h5 { font-size: 1.8rem; line-height: 1.5;  letter-spacing: -.05rem; }
h6 { font-size: 1.5rem; line-height: 1.6;  letter-spacing: 0; }

/* Larger than phablet */
@media (min-width: 550px) {
  h1 { font-size: 5.0rem; }
  h2 { font-size: 4.2rem; }
  h3 { font-size: 3.6rem; }
  h4 { font-size: 3.0rem; }
  h5 { font-size: 2.4rem; }
  h6 { font-size: 1.5rem; }
}

p {
  margin-top: 0; }

/* Larger than mobile */
@media (min-width: 400px) {}

/* Larger than phablet (also point when grid becomes active) */
@media (min-width: 550px) {
}

/* Larger than tablet */
@media (min-width: 750px) {
}

/* Larger than desktop */
@media (min-width: 1000px) {}

/* Larger than Desktop HD */
@media (min-width: 1200px) {}


/* Real Styling */
html {
    text-align: center;
    background: #f8f8f8 url(../img/pinstripe.png?v1);
    color: #333;
    font-family: 'PT Sans', Trebuchet Ms, Arial;
}
body {
    margin: 0 auto;
    text-align: center;
}

header, footer, article {
    display: block;
    text-align: left;
}

header {
    font-size: 3.4em;
    margin: 0px auto 0em;
    padding: 0.5em 0px 0px;
    text-align: center;
    display: flex;
    flex-wrap: wrap;
}

header h1 {
    text-align: left;
    font-family: 'Lora', Georgia;
    font-style: italic;
    margin-bottom: 0;
}

header h1 a {
    color: #232323;
    text-decoration: none;
}

header a span.hilight, h2 span.hilight, h3 span.hilight {
    color: #de1e4c;
}

menu {
  display: flex;
  list-style: none;
  padding: 0;
  margin: 1em 0 0;
  font-size: 0.35em;
  align-content: flex-end;
}

menu li {
  flex-grow: 1;
  padding: 0 0.3em;
}

menu li a {
    color: #888;
}

menu li a.active {
    color: #aaa;
}

article {
    margin: 0 auto;
    padding: 2em 0.5em 0.5em;
    color: #666;
}

article a {
    color: #888;
}

article span.date {
    font-family: 'Open Sans', monospace;
    font-size: 0.8em;
    color: #888;
    font-style: italic;
}

article h2 {
    margin: 0.2em 0;
    font-size: 1.8em;
    color: #de1e4c;
    font-family: 'Lora', Trebuchet MS, Arial;
    font-style: italic;
}

article h3 {
    margin: 1.2em 0 0.4em;
    font-size: 1.4em;
    font-style: italic;
    color: #232323;
    font-family: 'Lora', Trebuchet MS, Arial;
}
article h4 {
    margin: 1.2em 0 0.4em;
    font-size: 1.25em;
    font-style: italic;
    color: #232323;
    font-family: 'Lora', Trebuchet MS, Arial;
}

article h5 {
    margin: 1.2em 0 0.4em;
    font-size: 1.2em;
}

article p {
    margin: 1.2em 0 0.4em;
    line-height: 1.4em;
    font-size: 1.2em;
    color: #333;
    font-family: 'PT Sans', Trebuchet MS, Arial;
}

article div.syntaxhighlighter {
    max-width: 50em;
    margin-top: 1.6em !important;
    margin-bottom: 1.6em !important;
}

article div.syntaxhighlighter .lines {
    padding-top: 0.5em !important;
    padding-bottom: 0.5em !important;
}

article dl,
article ul,
article ol {
    margin: 1.0em 0 0.4em 0em;
    color: #333;
    font-size: 1.2em;
    line-height: 1.4em;
}

article ul ol, article ul ul, article ol ol, article ol ul,
article blockquote ul, article blockquote ol {
    margin: 0.3em 0 0.3em 0;
    font-size: 1em;
}

article ul {
    list-style-type: disc;
}

article ol {
    list-style-type: decimal;
}

article ol[type="a"] {
    list-style-type: lower-alpha;
}

article ul li, article ol li {
    margin-bottom: 0.3em;
    padding-left: 0.5em;
}

article dl dt {
    font-style: italic;
    margin-top: 1em;
    color: #666;
}

article dl dd {
    margin-left: 0.7em;
    list-style-type: disc;
}

article blockquote {
    margin: 1.2em 0 0.4em 1.5em;
    padding: 0.5em;
    line-height: 1.5em;
    font-size: 1.2em;
    color: #555;
    font-family: 'PT Sans', Trebuchet MS, Arial;
    background: #efefef;
    border: 0.1em dotted #ddd;
    max-width: 90%;
}

article blockquote p:first-child {
    margin: 0 0 0.4em;
}

article blockquote p {
    margin: 1.2em 0 0.4em;
    color: #333;
    font-size: 1em;
    font-family: 'PT Sans', Trebuchet MS, Arial;
}

article blockquote blockquote {
    margin: 1.0em 0 0.4em 0.4em;
    padding-left: 0.5em;
    padding-top: 0em;
    padding-bottom: 0em;
    line-height: 1.4em;
    font-size: 1em;
    color: #555;
    background: none;
    border: none;
    border-left: 0.2em solid #ddd;
}

article blockquote blockquote p {
    margin: 0 0 0.3em;
    line-height: 1.5em;
}

article code {
    font-size: 0.9em;
    background: #fcfcfa;
    border-bottom: 1px #d4d2d1 dotted;
}

article pre {
    margin: 1.2em 0 0.4em 1.5em;
    padding: 0.5em;
    line-height: 1.4em;
    font-size: 1.2em;
    color: #555;
    width: 90%;
    overflow: auto;
    background-color: #fcfcfa;
    padding: 1em;
    border: 1px solid #ecebea;
}

article ul.index {
    float:left;
}
article img.index {
    margin: 0 0 1em 0;
    float: right;
}
article p.index {
    clear: left;
    float: left;
    margin-bottom: 2em;
}

article a.footref {
    vertical-align: super;
    font-size: 0.8em;
    line-height: 0.8em;
}

article hr.footnote {
    border: 0;
    border-top: 1px dotted #888;
    margin-top: 2em;
}

article p.footnote {
    font-size: 0.9em
}

article img {
    max-width: 100%;
    height: auto;
    width: auto;
}

article abbr {
    border-bottom: 0.1em dotted #666;
}

footer {
    clear: both;
    text-align: left;
    margin: 1em auto 0;
    font-size: 0.9em;
    line-height: 1;
    border-top: 0.1em #333 solid;
}

footer div.contact {
}

footer div.publications {
    text-align: right;
}

@media (max-width: 550px) {
    footer div.contact ul {
        margin-bottom: 0;
    }
    footer div.publications {
        text-align: left;
    }
    footer div.publications ul {
        margin-top: 0.75em;
    }
}

footer div ul {
    margin: 1em 0;
    padding: 0;
    list-style-type: none;
}

footer div ul li {
    margin: 0.2em 0;
}

footer div ul li a {
    text-decoration: none;
    color: #666;
}

footer div ul li a:hover {
    text-decoration: underline;
    color: #888;
}

table {
    margin: 0.5em 0;
}
table table {
    margin: 0;
}

table ul, table ol, table p {
    font-size: 0.90em;
    margin: 0.4em 0;
}

thead tr th {
    font-weight: bold;
}

td, th {
    padding: 0.2em;
    border-left: 0.1em solid #ddd;
    border-bottom: 0.1em solid #ddd;
}

td table td {
    font-size: 1em;
}
td table tr:last-child td {
    border-bottom: 0;
}

td:first-child, th:first-child {
    border-left: 0;
}

/* SYNTAX HIGHLIGHT RULES FOR CODE */
.highlight { /*background-color: #fdf6e3;*/ color: #586e75 }
.highlight .c { color: #93a1a1 } /* Comment */
.highlight .err { color: #586e75 } /* Error */
.highlight .g { color: #586e75 } /* Generic */
.highlight .k { color: #859900 } /* Keyword */
.highlight .l { color: #586e75 } /* Literal */
.highlight .n { color: #586e75 } /* Name */
.highlight .o { color: #859900 } /* Operator */
.highlight .x { color: #cb4b16 } /* Other */
.highlight .p { color: #586e75 } /* Punctuation */
.highlight .cm { color: #93a1a1 } /* Comment.Multiline */
.highlight .cp { color: #859900 } /* Comment.Preproc */
.highlight .c1 { color: #93a1a1 } /* Comment.Single */
.highlight .cs { color: #859900 } /* Comment.Special */
.highlight .gd { color: #2aa198 } /* Generic.Deleted */
.highlight .ge { color: #586e75; font-style: italic } /* Generic.Emph */
.highlight .gr { color: #dc322f } /* Generic.Error */
.highlight .gh { color: #cb4b16 } /* Generic.Heading */
.highlight .gi { color: #859900 } /* Generic.Inserted */
.highlight .go { color: #586e75 } /* Generic.Output */
.highlight .gp { color: #586e75 } /* Generic.Prompt */
.highlight .gs { color: #586e75; font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #cb4b16 } /* Generic.Subheading */
.highlight .gt { color: #586e75 } /* Generic.Traceback */
.highlight .kc { color: #cb4b16 } /* Keyword.Constant */
.highlight .kd { color: #268bd2 } /* Keyword.Declaration */
.highlight .kn { color: #859900 } /* Keyword.Namespace */
.highlight .kp { color: #859900 } /* Keyword.Pseudo */
.highlight .kr { color: #268bd2 } /* Keyword.Reserved */
.highlight .kt { color: #dc322f } /* Keyword.Type */
.highlight .ld { color: #586e75 } /* Literal.Date */
.highlight .m { color: #2aa198 } /* Literal.Number */
.highlight .s { color: #2aa198 } /* Literal.String */
.highlight .na { color: #586e75 } /* Name.Attribute */
.highlight .nb { color: #B58900 } /* Name.Builtin */
.highlight .nc { color: #268bd2 } /* Name.Class */
.highlight .no { color: #cb4b16 } /* Name.Constant */
.highlight .nd { color: #268bd2 } /* Name.Decorator */
.highlight .ni { color: #cb4b16 } /* Name.Entity */
.highlight .ne { color: #cb4b16 } /* Name.Exception */
.highlight .nf { color: #268bd2 } /* Name.Function */
.highlight .nl { color: #586e75 } /* Name.Label */
.highlight .nn { color: #586e75 } /* Name.Namespace */
.highlight .nx { color: #586e75 } /* Name.Other */
.highlight .py { color: #586e75 } /* Name.Property */
.highlight .nt { color: #268bd2 } /* Name.Tag */
.highlight .nv { color: #268bd2 } /* Name.Variable */
.highlight .ow { color: #859900 } /* Operator.Word */
.highlight .w { color: #586e75 } /* Text.Whitespace */
.highlight .mf { color: #2aa198 } /* Literal.Number.Float */
.highlight .mh { color: #2aa198 } /* Literal.Number.Hex */
.highlight .mi { color: #2aa198 } /* Literal.Number.Integer */
.highlight .mo { color: #2aa198 } /* Literal.Number.Oct */
.highlight .sb { color: #93a1a1 } /* Literal.String.Backtick */
.highlight .sc { color: #2aa198 } /* Literal.String.Char */
.highlight .sd { color: #586e75 } /* Literal.String.Doc */
.highlight .s2 { color: #2aa198 } /* Literal.String.Double */
.highlight .se { color: #cb4b16 } /* Literal.String.Escape */
.highlight .sh { color: #586e75 } /* Literal.String.Heredoc */
.highlight .si { color: #2aa198 } /* Literal.String.Interpol */
.highlight .sx { color: #2aa198 } /* Literal.String.Other */
.highlight .sr { color: #dc322f } /* Literal.String.Regex */
.highlight .s1 { color: #2aa198 } /* Literal.String.Single */
.highlight .ss { color: #2aa198 } /* Literal.String.Symbol */
.highlight .bp { color: #268bd2 } /* Name.Builtin.Pseudo */
.highlight .vc { color: #268bd2 } /* Name.Variable.Class */
.highlight .vg { color: #268bd2 } /* Name.Variable.Global */
.highlight .vi { color: #268bd2 } /* Name.Variable.Instance */
.highlight .il { color: #2aa198 } /* Literal.Number.Integer.Long */