@charset "UTF-8";
.navbar-brand { font-size: 14px; padding: 15px 0px; }

.navbar { border: 1pc dashed rgba(0, 0, 0, 0.25); border-width: 0 0 1px 0; background: white; margin: 0; }

.navbar-default .navbar-nav > li:last-child > a { padding-right: 0; }

.navbar a, .navbar a:hover, .navbar a:visited { color: black; margin: 0px; font-weight: bold; text-transform: uppercase; }

.custom-container { max-width: 800px; }

html { font: 400 20px/1.66667 "Georgia", "Fira Sans", "Helvetica Neue", Helvetica, Aria, sans-serif; }

.page-content { font: 400 20px/1.66667 "Georgia", "Fira Sans", "Helvetica Neue", Helvetica, Aria, sans-serif; }

@media screen and (max-width: 600px) { html { font-size: 18px; } }
ul > h2 { font-family: freight-display-pro; font-weight: semi-bold; font-size: 20px; line-height: 3.3rem; margin-bottom: 2rem; }

@media screen and (max-width: 600px) { .highlighter-range { overflow: hidden; } }
article > header { margin-top: 3rem; text-align: center; padding-bottom: 4rem; }

article > header > h1 { font-family: freight-display-pro; font-weight: semi-bold; font-size: 3rem; line-height: 3.3rem; margin-bottom: 2rem; }

article > p { font-size: 1rem; margin-top: 8px; }

article > p > img { max-width: 90%; margin: 30px auto; display: block; }

article > p > .portrait { width: 90%; margin: 30px auto; display: block; }

article > p > .caption { margin-top: -20px; margin-bottom: 30px; text-align: center; font-size: 0.8rem; font-style: italic; }

article .caption { margin-top: -20px; margin-bottom: 30px; text-align: center; font-size: 0.8rem; font-style: italic; }

article > h1 { font-family: 'Libre Franklin', sans-serf; font-size: 1.4rem; font-weight: bold; margin-top: 2.6rem; }

@media screen and (max-width: 600px) { article > header > h1 { font-size: 2rem; line-height: 2.2rem; } }
article > footer { margin-top: 3rem; text-align: center; }

article > header > h2, article > footer > h2 { font-family: Helvetica, Arial; font-size: 14px; color: #828282; }

article > header > h2 > a, article > header > h2 > a:visited { color: #727272; }

article > ol, article > ul { margin: 0; margin-top: 44px; margin-right: 30px; margin-bottom: 44px; }

article > ol > li, article > ul > li { margin-bottom: 14px; margin-left: 30px; }

ul.main-sharing { padding: 0; margin: 0; list-style-type: none; color: #828282; }

ul.main-sharing > li { padding: 0; margin: 0; display: inline; }

ul.main-sharing > li:after { content: "•"; }

ul.main-sharing > li:last-child:after { content: ""; }

ul.main-sharing > li > a, ul.main-sharing > li > a:hover, ul.main-sharing > li > a:visited { text-decoration: none; color: inherit; border-radius: 100%; }

ul.side-sharing { position: fixed; top: 125px; padding: 0; margin: 0 0 0 -100px; list-style-type: none; }

ul.side-sharing > li { border: 1px solid #828282; border-radius: 50px; width: 50px; height: 50px; padding: 0; margin: 0 0 10px 0; }

ul.side-sharing > li > a, ul.side-sharing > li > a:hover, ul.side-sharing > li > a:visited { display: block; width: 100%; height: 100%; text-decoration: none; color: transparent; border-radius: 100%; }

ul.side-sharing > li#twitter > a { background-image: url(/assets/twitter.svg); background-size: 65% 65%; background-repeat: no-repeat; background-position: center center; }

ul.side-sharing > li#facebook > a { background-image: url(/assets/facebook.svg); background-size: 90%; background-repeat: no-repeat; background-position: center center; }

ul.side-sharing > li#hacker-news > a { background-image: url(/assets/hacker-news-letter.svg); background-size: 80%; background-repeat: no-repeat; background-position: center center; }

ul.side-sharing > li#hacker-news > a > * { opacity: 0; }

.highlight table td { padding: 5px; }

.highlight table pre { margin: 0; }

.highlight .cm { color: #999988; font-style: italic; }

.highlight .cp { color: #999999; font-weight: bold; }

.highlight .c1 { color: #999988; font-style: italic; }

.highlight .cs { color: #999999; font-weight: bold; font-style: italic; }

.highlight .c, .highlight .cd { color: #999988; font-style: italic; }

.highlight .err { color: #a61717; background-color: #e3d2d2; }

.highlight .gd { color: #000000; background-color: #ffdddd; }

.highlight .ge { color: #000000; font-style: italic; }

.highlight .gr { color: #aa0000; }

.highlight .gh { color: #999999; }

.highlight .gi { color: #000000; background-color: #ddffdd; }

.highlight .go { color: #888888; }

.highlight .gp { color: #555555; }

.highlight .gs { font-weight: bold; }

.highlight .gu { color: #aaaaaa; }

.highlight .gt { color: #aa0000; }

.highlight .kc { color: #000000; font-weight: bold; }

.highlight .kd { color: #000000; font-weight: bold; }

.highlight .kn { color: #000000; font-weight: bold; }

.highlight .kp { color: #000000; font-weight: bold; }

.highlight .kr { color: #000000; font-weight: bold; }

.highlight .kt { color: #445588; font-weight: bold; }

.highlight .k, .highlight .kv { color: #000000; font-weight: bold; }

.highlight .mf { color: #009999; }

.highlight .mh { color: #009999; }

.highlight .il { color: #009999; }

.highlight .mi { color: #009999; }

.highlight .mo { color: #009999; }

.highlight .m, .highlight .mb, .highlight .mx { color: #009999; }

.highlight .sb { color: #d14; }

.highlight .sc { color: #d14; }

.highlight .sd { color: #d14; }

.highlight .s2 { color: #d14; }

.highlight .se { color: #d14; }

.highlight .sh { color: #d14; }

.highlight .si { color: #d14; }

.highlight .sx { color: #d14; }

.highlight .sr { color: #009926; }

.highlight .s1 { color: #d14; }

.highlight .ss { color: #990073; }

.highlight .s { color: #d14; }

.highlight .na { color: #008080; }

.highlight .bp { color: #999999; }

.highlight .nb { color: #0086B3; }

.highlight .nc { color: #445588; font-weight: bold; }

.highlight .no { color: #008080; }

.highlight .nd { color: #3c5d5d; font-weight: bold; }

.highlight .ni { color: #800080; }

.highlight .ne { color: #990000; font-weight: bold; }

.highlight .nf { color: #990000; font-weight: bold; }

.highlight .nl { color: #990000; font-weight: bold; }

.highlight .nn { color: #555555; }

.highlight .nt { color: #000080; }

.highlight .vc { color: #008080; }

.highlight .vg { color: #008080; }

.highlight .vi { color: #008080; }

.highlight .nv { color: #008080; }

.highlight .ow { color: #000000; font-weight: bold; }

.highlight .o { color: #000000; font-weight: bold; }

.highlight .w { color: #bbbbbb; }

.highlight { background-color: #f8f8f8; }