/*! normalize.css v1.0.1 | MIT License | git.io/normalize */

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

/*
 * Corrects `block` display not defined in IE 6/7/8/9 and Firefox 3.
 */

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

/*
 * Corrects `inline-block` display not defined in IE 6/7/8/9 and Firefox 3.
 */

audio,
canvas,
video {
    display: inline-block;
    *display: inline;
    *zoom: 1;
}

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

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

/*
 * Addresses styling for `hidden` attribute not present in IE 7/8/9, Firefox 3,
 * and Safari 4.
 * Known issue: no IE 6 support.
 */

[hidden] {
    display: none;
}

/* ==========================================================================
   Base
   ========================================================================== */

/*
 * 1. Corrects text resizing oddly in IE 6/7 when body `font-size` is set using
 *    `em` units.
 * 2. Prevents iOS text size adjust after orientation change, without disabling
 *    user zoom.
 */

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

/*
 * Addresses `font-family` inconsistency between `textarea` and other form
 * elements.
 */

html,
button,
input,
select,
textarea {
    font-family: sans-serif;
}

/*
 * Addresses margins handled incorrectly in IE 6/7.
 */

body {
    margin: 0;
}

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

/*
 * Addresses `outline` inconsistency between Chrome and other browsers.
 */

a:focus {
    outline: thin dotted;
}

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

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

/* ==========================================================================
   Typography
   ========================================================================== */

/*
 * Addresses font sizes and margins set differently in IE 6/7.
 * Addresses font sizes within `section` and `article` in Firefox 4+, Safari 5,
 * and Chrome.
 */

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

h2 {
    font-size: 1.5em;
    margin: 0.83em 0;
}

h3 {
    font-size: 1.17em;
    margin: 1em 0;
}

h4 {
    font-size: 1em;
    margin: 1.33em 0;
}

h5 {
    font-size: 0.83em;
    margin: 1.67em 0;
}

h6 {
    font-size: 0.75em;
    margin: 2.33em 0;
}

/*
 * Addresses styling not present in IE 7/8/9, Safari 5, and Chrome.
 */

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

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

b,
strong {
    font-weight: bold;
}

blockquote {
    margin: 1em 40px;
}

/*
 * Addresses styling not present in Safari 5 and Chrome.
 */

dfn {
    font-style: italic;
}

/*
 * Addresses styling not present in IE 6/7/8/9.
 */

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

/*
 * Addresses margins set differently in IE 6/7.
 */

p,
pre {
    margin: 1em 0;
}

/*
 * Corrects font family set oddly in IE 6, Safari 4/5, and Chrome.
 */

code,
kbd,
pre,
samp {
    font-family: monospace, serif;
    _font-family: 'courier new', monospace;
    font-size: 1em;
}

/*
 * Improves readability of pre-formatted text in all browsers.
 */

pre {
    white-space: pre;
    white-space: pre-wrap;
    word-wrap: break-word;
}

/*
 * Addresses CSS quotes not supported in IE 6/7.
 */

q {
    quotes: none;
}

/*
 * Addresses `quotes` property not supported in Safari 4.
 */

q:before,
q:after {
    content: '';
    content: none;
}

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

small {
    font-size: 80%;
}

/*
 * Prevents `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;
}

/* ==========================================================================
   Lists
   ========================================================================== */

/*
 * Addresses margins set differently in IE 6/7.
 */

dl,
menu,
ol,
ul {
    margin: 1em 0;
}

dd {
    margin: 0 0 0 40px;
}

/*
 * Addresses paddings set differently in IE 6/7.
 */

menu,
ol,
ul {
    padding: 0 0 0 40px;
}

/*
 * Corrects list images handled incorrectly in IE 7.
 */

nav ul,
nav ol {
    list-style: none;
    list-style-image: none;
}

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

/*
 * 1. Removes border when inside `a` element in IE 6/7/8/9 and Firefox 3.
 * 2. Improves image quality when scaled in IE 7.
 */

img {
    border: 0; /* 1 */
    -ms-interpolation-mode: bicubic; /* 2 */
}

/*
 * Corrects overflow displayed oddly in IE 9.
 */

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

/* ==========================================================================
   Figures
   ========================================================================== */

/*
 * Addresses margin not present in IE 6/7/8/9, Safari 5, and Opera 11.
 */

figure {
    margin: 0;
}

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

/*
 * Corrects margin displayed oddly in IE 6/7.
 */

form {
    margin: 0;
}

/*
 * Define consistent border, margin, and padding.
 */

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

/*
 * 1. Corrects color not being inherited in IE 6/7/8/9.
 * 2. Corrects text not wrapping in Firefox 3.
 * 3. Corrects alignment displayed oddly in IE 6/7.
 */

legend {
    border: 0; /* 1 */
    padding: 0;
    white-space: normal; /* 2 */
    *margin-left: -7px; /* 3 */
}

/*
 * 1. Corrects font size not being inherited in all browsers.
 * 2. Addresses margins set differently in IE 6/7, Firefox 3+, Safari 5,
 *    and Chrome.
 * 3. Improves appearance and consistency in all browsers.
 */

button,
input,
select,
textarea {
    font-size: 100%; /* 1 */
    margin: 0; /* 2 */
    vertical-align: baseline; /* 3 */
    *vertical-align: middle; /* 3 */
}

/*
 * Addresses Firefox 3+ setting `line-height` on `input` using `!important` in
 * the UA stylesheet.
 */

button,
input {
    line-height: normal;
}

/*
 * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio`
 *    and `video` controls.
 * 2. Corrects inability to style clickable `input` types in iOS.
 * 3. Improves usability and consistency of cursor style between image-type
 *    `input` and others.
 * 4. Removes inner spacing in IE 7 without affecting normal text inputs.
 *    Known issue: inner spacing remains in IE 6.
 */

button,
html input[type="button"], /* 1 */
input[type="reset"],
input[type="submit"] {
    -webkit-appearance: button; /* 2 */
    cursor: pointer; /* 3 */
    *overflow: visible;  /* 4 */
}

/*
 * Re-set default cursor for disabled elements.
 */

button[disabled],
input[disabled] {
    cursor: default;
}

/*
 * 1. Addresses box sizing set to content-box in IE 8/9.
 * 2. Removes excess padding in IE 8/9.
 * 3. Removes excess padding in IE 7.
 *    Known issue: excess padding remains in IE 6.
 */

input[type="checkbox"],
input[type="radio"] {
    box-sizing: border-box; /* 1 */
    padding: 0; /* 2 */
    *height: 13px; /* 3 */
    *width: 13px; /* 3 */
}

/*
 * 1. Addresses `appearance` set to `searchfield` in Safari 5 and Chrome.
 * 2. Addresses `box-sizing` set to `border-box` in Safari 5 and Chrome
 *    (include `-moz` to future-proof).
 */

input[type="search"] {
    -webkit-appearance: textfield; /* 1 */
    -moz-box-sizing: content-box;
    -webkit-box-sizing: content-box; /* 2 */
    box-sizing: content-box;
}

/*
 * Removes inner padding and search cancel button in Safari 5 and Chrome
 * on OS X.
 */

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

/*
 * Removes inner padding and border in Firefox 3+.
 */

button::-moz-focus-inner,
input::-moz-focus-inner {
    border: 0;
    padding: 0;
}

/*
 * 1. Removes default vertical scrollbar in IE 6/7/8/9.
 * 2. Improves readability and alignment in all browsers.
 */

textarea {
    overflow: auto; /* 1 */
    vertical-align: top; /* 2 */
}

/* ==========================================================================
   Tables
   ========================================================================== */

/*
 * Remove most spacing between table cells.
 */

table {
    border-collapse: collapse;
    border-spacing: 0;
}
/* ==========================================================================
   HTML5 Boilerplate styles - h5bp.com (generated via initializr.com)
   ========================================================================== */

html,
button,
input,
select,
textarea {
    color: #000;
}

@import url(https://fonts.googleapis.com/css?family=PT+Serif);

body {
    background: #111;
    /* font-family: Helvetica, Helvetica Neue; */
    /* font-family: 'DejaVu Serif', serif; */
    font-family: 'PT Serif', serif;
    font-size: 13pt;
}

::-moz-selection {
    background: #b3d4fc;
    text-shadow: none;
}

::selection {
    background: #b3d4fc;
    text-shadow: none;
}

hr {
    display: block;
    height: 1px;
    border: 0;
    border-top: 1px solid #777;
    margin: 1em 0;
    padding: 0;
}

img {
    vertical-align: middle;
}

fieldset {
    border: 0;
    margin: 0;
    padding: 0;
}

textarea {
    resize: vertical;
}

.chromeframe {
    margin: 0.2em 0;
    background: #ccc;
    color: #000;
    padding: 0.2em 0;
}

.marginv {
	margin: 1em 0;
}

.wrapper {
    width: 90%;
    margin: 0 5%;
}


/* ===================
    Header
   =================== */
header {
	text-align: right;
/*    background: url("galactic.png") 65% 0 no-repeat; */
}
header br {line-height: 1.8em;}
#logo {
	float: left;
	margin-bottom:25px;
	max-width: 100%;
}
#github {
    background: url("http://blog.zaremba.ch/_static/blacktocat.png") 95% 50% no-repeat #1c304c;
    border-bottom-left-radius: 2px;
    border-bottom-right-radius: 2px;
    box-shadow: 0px 0px 10px rgba(0, 0, 0, 0.506);
    color: #FFFFFF;
    font-weight: 700;
    padding: 10px 50px 10px 10px;
    margin-right: 2%;
}
header .break {margin-top: 22px;}
.title {
    color: #bbc;
    font-weight: bold;
    font-size: 135%;
    font-family: Helvetica, Helvetica Neue, sans;
    padding-right: 3%;
    font-variant: small-caps;
}
header a {text-decoration: none; }

/* ==============
    MOBILE: Menu
   ============== */
#menu {padding: 5px 10px; }
nav {
    text-align: left;
    clear: both; background: #1c304c;
    margin: 16px 0 0 0;
    font-variant: small-caps;
}
nav a {
    display: block;
    margin-bottom: 10px;
    padding: 7px 0;

    text-align: center;
    text-decoration: none;
    font-weight: bold;

    background: #001010;
    color: #fee;
}

nav a:hover,
nav a:visited {
    color: #fee;
}
nav a:hover {
    text-decoration: underline;
}
#tagline { background: #4F5663; padding: 8px;
	line-height: 110%;
	font-size: 12pt; font-variant: normal;}

/* ==============
    MOBILE: Main
   ============== */

/* .main */
article {
    padding: 20px 0;
}


aside {
    padding: 10px;
    font-size: 90%;
}
aside h3, aside h2 {margin-bottom: 0.5em;}
aside ul {margin-top: 0.5em;}

.footer-container footer {
    color: white;
    padding: 20px 0;
}

.ie7 .title {
    padding-top: 20px; /* IE Fix */
}

/* ==========================================================================
   Author's custom styles
   ========================================================================== */


.footer-container, aside{
    background: #444;
}
.footnote-reference {
    font-size: 80%;
    vertical-align: text-top;
}
.postmeta, #disqus_thread {background: #000; }
#disqus_thread {margin-bottom: 16px; }
.postmeta {color: #F6F6F6; font-size: 90%; padding-left: 2%; padding-right: 2%;}
.postmeta a {color: #94C2BC;}
section, .archive_link, article > * {background: #e0e0e0;}
section {padding: 0px 5px 5px; margin-bottom: 3px;}
article  > div, article > ul, article > h1, article > p, article > form {
    padding: 2%;
    -webkit-box-shadow: 0px 0px 10px #777;
       -moz-box-shadow: 0px 0px 10px #777;
             box-shadow: 0px 0px 10px #777;
}
.timestamp, article .post_separator {
        -webkit-box-shadow: none;
           -moz-box-shadow: none;
                box-shadow: none;
}
.timestamp {
    background: none;
    color: #963266; float:
    right;
    padding: 1.5% 2%;
}

.social-share {margin: 6px 0;}
.social-share > a, .social-share > span {margin-left: 12px;}
.social-share > :first-child {margin-left: 0;}

.archive_link {border: 4px black solid; margin: 2% 0; text-align: center;}
.post_separator {margin-top: 10px; clear:both; background-color: #111;}

dl dt {
	margin-top: 9pt;
	font-weight: bold;
}

ul.related { margin: 0 0 16px 0; }
ul.related li { list-style-type: none; text-align: center; }
#searchbox input {width: 92%;}

pre {
    border: 1px solid black;
    font-family: "Courier New", "Terminal", monospace;
    font-size: 95%;
    line-height: 110%;
    background-color: #E5E0D1;
    padding: 5px 0.5em;
    margin: 0.5em 0;
    overflow: auto;

    /* overwrite style from normalize to not allow text wrapping */
    white-space: pre;
    word-wrap: normal;
}

span.docutils, .pre {background-color: #f0f0e2;
    font-family: "Courier New", "Terminal", monospace;
}
blockquote {
	font-size: 95%;
	border-left: 1px solid #BBB;
	color: #4a4a4a;
	margin-left: 18px;
	padding: 0 20px;
}
.pull-quote {
	font-size: 140%;
	border-right: 1px solid #BBB;
	color: #424242;
	margin: 24px 18px;
	text-align: center;
}
p.caption {
	color: #424242;
	text-align: center;
	maring-bottom: 16px;
}



#sidebar-me img.avatar {
	float: left;
	/* margin-left: -5px; margin-right: auto  // left margin to remove outer margin box*/
	margin: 0 15px 5px 0;
	width: 170px;
	border-radius: 2px;
	box-shadow: 0 5px 10px 0 rgba(0, 0, 0, 0.4);
}
#sidebar-me img.social {
  margin-right: 15px;
  margin-bottom: 12px;
}
.sidebar ul {padding-left: 20px;}
article ul {margin: 0.5em 0;}
article p {margin: 0.7em 0;}
article img {
	margin-top: 12px;
	margin-bottom: 8px;
	max-height: 100%;
	max-width: 100%;
}

article img.title {
	margin: 12px 0 16px 0;
}

table.docutils { font-size: 90%; border: 0 none; border-collapse: collapse;}
table.docutils td, table.docutils th { padding: 1px 3px; border-color: #788; border-left-style: dotted; border-right-style: dotted;}
table.docutils th {background-color: #a2b5b5;}
a {color: #aad;}
.main a {color: #094094;}
.main a:visited {color: #661766;}

.main h1 a, .main h2 a, .main h3 a, .main h4 a, .main h5 a,   .main h1 a:visited, .main h2 a:visited, .main h3 a:visited, .main h4 a:visited, .main h5 a:visited,    .main h1,.main h2,.main h3,.main h4,.main h5 {color: #223; text-decoration: none; background: #D0D0DF;}
.main h1, .main h2, .main h3,
  .aside h1, .aside h2, .aside h3 {padding: 0 4px;}
h1 a:hover,h2 a:hover,h3 a:hover,h4 a:hover, h5 a:hover {background: #ABABAB;}
h1 {line-height: 1.3em;}
aside h1, aside h2, aside h3, aside h4, aside h5 {background: none;}


/* ==========================================================================
   Media Queries
   ========================================================================== */

@media only screen and (min-width: 480px) {

    ul.related { padding: 4px 2%; }
    ul.related li { display: inline; }
    ul.related li.right { float: right; }

/* ====================
    INTERMEDIATE
   ==================== */

    .webfont {font-size: 95%; } /* webfont font is higher the other fonts */
    nav a {
        /* display: inline; */
	float: left;
        margin: 0 0.9%;
        padding: 5px 12px;
    }
    nav a:first-child {
        margin-left: 0;
    }
    nav a:last-child {
        margin-right: 0;
    }

     /* IE Fixes */
    .oldie nav a {margin: 0 0.7%;}
}

@media only screen and (min-width: 900px) {
/* ====================
    WIDE
   ==================== */

    header .break {margin-top: 60px;}
    #tagline {float: right; height: 39px; width: 220px; padding: 5px 8px 0; margin: 0 8px 0 0;}
    nav { height: 44px; }

    article {
    	overflow: hidden;
    }
    aside {
    	float: right;
    	margin: 0 8px 0 16px;
    	padding: 8px;
    	width: 220px;
    }
    #sidebar-me img.avatar {display: block; float: none; margin: 0 auto 8px;}
    #sidebar-me {line-height: 150%;}
}

@media only screen and (min-width: 1160px) {
/* ===============
    Maximal Width
   =============== */

    .wrapper {
        width: 1120px; /* 1160px - 40px for margins */
        margin: 0 auto;
    }
}

/* ==========================================================================
   Helper classes
   ========================================================================== */

.ir {
    background-color: transparent;
    border: 0;
    overflow: hidden;
    *text-indent: -9999px;
}

.ir:before {
    content: "";
    display: block;
    width: 0;
    height: 100%;
}

.hidden {
    display: none !important;
    visibility: hidden;
}

.visuallyhidden {
    border: 0;
    clip: rect(0 0 0 0);
    height: 1px;
    margin: -1px;
    overflow: hidden;
    padding: 0;
    position: absolute;
    width: 1px;
}

.visuallyhidden.focusable:active,
.visuallyhidden.focusable:focus {
    clip: auto;
    height: auto;
    margin: 0;
    overflow: visible;
    position: static;
    width: auto;
}

.invisible {
    visibility: hidden;
}

.clearfix:before,
.clearfix:after {
    content: " ";
    display: table;
}

.clearfix:after {
    clear: both;
}

.clearfix {
    *zoom: 1;
}

/* ==========================================================================
   Print styles
   ========================================================================== */

@media print {
    * {
        background: transparent !important;
        color: #000 !important; /* Black prints faster: h5bp.com/s */
        box-shadow: none !important;
        text-shadow: none !important;
    }

    a,
    a:visited {
        text-decoration: underline;
    }

    a[href]:after {
        content: " (" attr(href) ")";
    }

    abbr[title]:after {
        content: " (" attr(title) ")";
    }

    /*
     * Don't show links for images, or javascript/internal links
     */

    .ir a:after,
    a[href^="javascript:"]:after,
    a[href^="#"]:after {
        content: "";
    }

    pre,
    blockquote {
        border: 1px solid #999;
        page-break-inside: avoid;
    }

    thead {
        display: table-header-group; /* h5bp.com/t */
    }

    tr,
    img {
        page-break-inside: avoid;
    }

    img {
        max-width: 100% !important;
    }

    @page {
        margin: 0.5cm;
    }

    p,
    h2,
    h3 {
        orphans: 3;
        widows: 3;
    }

    h2,
    h3 {
        page-break-after: avoid;
    }
}
.highlighttable .linenos pre, .highlight pre {font-size:0.90em;line-height:1.15em; margin: 0;padding: 5px .5em;}
@media only screen and (min-width: 480px) {
    .highlighttable pre { padding: 10px .5em; }
}
.highlighttable .linenos {text-align:right; background:#1a3533; border-right:2px solid #00232c; text-shadow:#021014 0 -1px;}
.highlighttable .linenos pre {color:#656e75; background:#1a3533  url('noise.png?1348849255') top left;}
.highlighttable pre {border: 0;}
.highlighttable td {padding:0;border:1px solid #00232c;-webkit-border-radius:0;-moz-border-radius:0;-ms-border-radius:0;-o-border-radius:0;border-radius:0}
.highlighttable td.code {width:100%;}
.highlight, .highlight pre  { background:#123533 url('noise.png?1348849255') ; color:#d0d5d0;}
.highlight pre {margin: 0}
.highlight .hll { background-color: #303d3d }
.highlight .c { color: #999999; font-style: italic } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .g { color: #d0d0d0 } /* Generic */
.highlight .k { color: #6ab825; font-weight: bold } /* Keyword */
.highlight .l { color: #d0d0d0 } /* Literal */
.highlight .n { color: #d0d0d0 } /* Name */
.highlight .o { color: #d0d0d0 } /* Operator */
.highlight .x { color: #d0d0d0 } /* Other */
.highlight .p { color: #d0d0d0 } /* Punctuation */
.highlight .cm { color: #999999; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #cd2828; font-weight: bold } /* Comment.Preproc */
.highlight .c1 { color: #999999; font-style: italic } /* Comment.Single */
.highlight .cs { color: #e50808; font-weight: bold; background-color: #520000 } /* Comment.Special */
.highlight .gd { color: #d22323 } /* Generic.Deleted */
.highlight .ge { color: #d0d0d0; font-style: italic } /* Generic.Emph */
.highlight .gr { color: #d22323 } /* Generic.Error */
.highlight .gh { color: #ffffff; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #589819 } /* Generic.Inserted */
.highlight .go { color: #cccccc } /* Generic.Output */
.highlight .gp { color: #aaaaaa } /* Generic.Prompt */
.highlight .gs { color: #d0d0d0; font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #ffffff; text-decoration: underline } /* Generic.Subheading */
.highlight .gt { color: #d22323 } /* Generic.Traceback */
.highlight .kc { color: #6ab825; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #6ab825; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #6ab825; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #6ab825 } /* Keyword.Pseudo */
.highlight .kr { color: #6ab825; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #6ab825; font-weight: bold } /* Keyword.Type */
.highlight .ld { color: #d0d0d0 } /* Literal.Date */
.highlight .m { color: #3677a9 } /* Literal.Number */
.highlight .s { color: #ed9d13 } /* Literal.String */
.highlight .na { color: #bbbbbb } /* Name.Attribute */
.highlight .nb { color: #24909d } /* Name.Builtin */
.highlight .nc { color: #447fcf; text-decoration: underline } /* Name.Class */
.highlight .no { color: #40ffff } /* Name.Constant */
.highlight .nd { color: #ffa500 } /* Name.Decorator */
.highlight .ni { color: #d0d0d0 } /* Name.Entity */
.highlight .ne { color: #bbbbbb } /* Name.Exception */
.highlight .nf { color: #447fcf } /* Name.Function */
.highlight .nl { color: #d0d0d0 } /* Name.Label */
.highlight .nn { color: #447fcf; text-decoration: underline } /* Name.Namespace */
.highlight .nx { color: #d0d0d0 } /* Name.Other */
.highlight .py { color: #d0d0d0 } /* Name.Property */
.highlight .nt { color: #6ab825; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #40ffff } /* Name.Variable */
.highlight .ow { color: #6ab825; font-weight: bold } /* Operator.Word */
.highlight .w { color: #666666 } /* Text.Whitespace */
.highlight .mf { color: #3677a9 } /* Literal.Number.Float */
.highlight .mh { color: #3677a9 } /* Literal.Number.Hex */
.highlight .mi { color: #3677a9 } /* Literal.Number.Integer */
.highlight .mo { color: #3677a9 } /* Literal.Number.Oct */
.highlight .sb { color: #ed9d13 } /* Literal.String.Backtick */
.highlight .sc { color: #ed9d13 } /* Literal.String.Char */
.highlight .sd { color: #ed9d13 } /* Literal.String.Doc */
.highlight .s2 { color: #ed9d13 } /* Literal.String.Double */
.highlight .se { color: #ed9d13 } /* Literal.String.Escape */
.highlight .sh { color: #ed9d13 } /* Literal.String.Heredoc */
.highlight .si { color: #ed9d13 } /* Literal.String.Interpol */
.highlight .sx { color: #ffa500 } /* Literal.String.Other */
.highlight .sr { color: #ed9d13 } /* Literal.String.Regex */
.highlight .s1 { color: #ed9d13 } /* Literal.String.Single */
.highlight .ss { color: #ed9d13 } /* Literal.String.Symbol */
.highlight .bp { color: #24909d } /* Name.Builtin.Pseudo */
.highlight .vc { color: #40ffff } /* Name.Variable.Class */
.highlight .vg { color: #40ffff } /* Name.Variable.Global */
.highlight .vi { color: #40ffff } /* Name.Variable.Instance */
.highlight .il { color: #3677a9 } /* Literal.Number.Integer.Long */
/*
 * webfont.css
 * ~~~~~~~~~~~
 * 
 * Stylesheet defining WebFont font face.
 *
 * :copyright: Copyright 2011-2013 by Vlad Riscutia and contributors (see
 * CONTRIBUTORS file)
 * :license: FreeBSD, see LICENSE file
 */

/* WebFont ----------------------------------------------------------------- */
@font-face {
    font-family: "WebSymbolsRegular";
    src: url("websymbols-regular-webfont.eot");
    src: url("websymbols-regular-webfont.eot?#iefix") format("embedded-opentype"),
         url("websymbols-regular-webfont.woff") format("woff"),
         url("websymbols-regular-webfont.ttf") format("truetype"),
         url("websymbols-regular-webfont.svg#WebSymbolsRegular") format("svg");
    font-weight: normal;
    font-style: normal;
}

.webfont {
    font-family: WebSymbolsRegular;
    font-weight: normal;
    font-style: normal;
}