@charset "UTF-8";
/*
 * Proof: the minimal theme for mathematics
 * Designed, built, and released under an MIT license.
 * Based on the Ed theme by @elotroalex and the Poole and Lanyon themes by @mdo.
 * Learn more at https://github.com/minicomp/ed and https://github.com/poole/lanyon.
 */
/*
 * General
 *
 * Update the foundational and global aspects of the page.
 */
* {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
  overflow-x: hidden;
}

html {
  font-family: "Libre Baskerville";
  font-size: 16px;
  line-height: 1.5;
}

@media (min-width: 38em) {
  html {
    font-size: 20px;
  }
}
body {
  color: #454545;
  background-color: #fff;
  -webkit-text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
}

.content {
  margin-bottom: 4rem;
}

/* Headings*/
h1, h2, h3, h4, h5, h6 {
  font-family: sans-serif;
  margin-bottom: 0.5rem;
  font-weight: 300;
  color: #404040;
  letter-spacing: -0.025rem;
  line-height: 1.25;
  text-rendering: optimizeLegibility;
}

h1 {
  font-size: 1.4rem;
}

h1.text-title {
  font-size: 1.4rem;
}

h2 {
  margin-top: 1rem;
  font-size: 1.2rem;
}

h3, h4, h5 {
  font-size: 1rem;
}

h3 {
  margin-top: 1.5rem;
}

h4, h5, h6 {
  margin-top: 1rem;
}

/* Body text*/
p {
  text-align: justify;
  font-size: 0.9em;
  margin-top: 0;
  margin-bottom: 1rem;
}

/* Lists*/
ul {
  list-style: circle;
}

ul, ol {
  margin-top: 0;
  margin-bottom: 1rem;
}

/*
 * Wrapper
 *
 * The wrapper is used to position site content when the sidebar is toggled. We
 * use an outter wrap to position the sidebar without interferring with the
 * regular page content.
 */
.wrap {
  position: relative;
  width: 100%;
}

/*
 * Container
 *
 * Center the page content.
 */
.container {
  max-width: 38rem;
  padding-left: 1rem;
  padding-right: 1rem;
  margin-left: auto;
  margin-right: auto;
}

@media (min-width: 38em) {
  .container {
    max-width: 32rem;
  }
}
@media (min-width: 56em) {
  .container {
    max-width: 38rem;
  }
}
/* Links*/
a, .text-title a {
  color: #841212;
  text-decoration: none;
}

/* `:focus` is linked to `:hover` for basic accessibility*/
a:hover,
a:focus {
  text-decoration: underline;
}

/* Horizontal ruler*/
hr {
  margin-top: 60px;
  position: relative;
  margin: 1.5rem 0;
  border: 0;
  border-top: 1px solid #eee;
  border-bottom: 1px solid #fff;
}

/* Search Highlihting*/
mark {
  color: white;
  background-color: #841212;
}

/* Quotes*/
blockquote {
  padding: 0rem 1.5rem 0rem 2rem;
  margin: 0 0 20px 0;
  color: #454545;
  border-left: none;
  font-style: italic;
}

blockquote p:last-child {
  margin-bottom: 0;
}

@media (min-width: 30em) {
  blockquote {
    padding-right: 5rem;
    padding-left: 1.25rem;
  }
}
/* To add an attribution make sure to make a line with the attribution class*/
li.attribution {
  text-align: right;
  list-style: none;
  padding: 0rem 1.5rem 0rem 2rem;
  margin: 0 0 20px 0;
  color: #454545;
}

/* Images*/
img {
  display: block;
  max-width: 100%;
  margin: 0 0 1rem;
  border-radius: 5px;
}

/* Tables*/
table {
  margin-bottom: 1rem;
  width: 100%;
  border: 1px solid #e5e5e5;
  border-collapse: collapse;
}

td,
th {
  padding: 0.25rem 0.5rem;
  border: 1px solid #e5e5e5;
}

tbody tr:nth-child(odd) td,
tbody tr:nth-child(odd) th {
  background-color: #f9f9f9;
}

/*
 * Masthead
 *
 * Super small header above the content for site name and short description.
 */
.masthead {
  margin-bottom: 3rem;
  text-align: center;
  padding-top: 26px;
  padding-bottom: 1rem;
  border-bottom: 1px solid #eee;
}

.masthead-title {
  margin-top: 0;
  margin-bottom: 0;
  color: #505050;
  line-height: 0.777em;
}

.masthead-title a {
  color: #841212;
}

.masthead-title small {
  font-family: "Libre Baskerville";
  font-size: 0.85rem;
  font-weight: 300;
  color: #454545;
  letter-spacing: 0.05rem;
  font-family: "Playfair Display SC", serif;
}

h3.masthead-title {
  font-family: "Playfair Display SC", serif;
  font-size: 1.5rem;
  margin-top: 2px;
}

@media (max-width: 48em) {
  .masthead-title {
    text-align: center;
  }
  .masthead-title small {
    display: none;
  }
  h3.masthead-title {
    margin-left: 15%;
    margin-right: 15%;
  }
}
@media (max-width: 320px) {
  h3.masthead-title {
    margin-top: 2em;
    margin-left: 0%;
    margin-right: 0%;
  }
}
/* Page and Posts*/
.page {
  margin-bottom: 4em;
}

.page-title {
  color: #404040;
  margin-top: 0;
}

/*
 * Sidebar
 *
 * The sidebar is the drawer, the item we are toggling with our handy hamburger
 * button in the corner of the page.
 *
 * This particular sidebar implementation was inspired by Chris Coyier's
 * "Offcanvas Menu with CSS Target" article, and the checkbox variation from the
 * comments by a reader. It modifies both implementations to continue using the
 * checkbox (no change in URL means no polluted browser history), but this uses
 * `position` for the menu to avoid some potential content reflow issues.
 *
 * Source: http://css-tricks.com/off-canvas-menu-with-css-target/#comment-207504
 */
/* Style and "hide" the sidebar */
.sidebar {
  position: fixed;
  top: 0;
  bottom: 0;
  left: -14rem;
  width: 14rem;
  visibility: hidden;
  overflow-y: auto;
  font-family: "PT Sans", Helvetica, Arial, sans-serif;
  font-size: 0.875rem; /* 15px */
  color: rgba(255, 255, 255, 0.6);
  background-color: #202020;
  -webkit-transition: all 0.3s ease-in-out;
  transition: all 0.3s ease-in-out;
}

@media (min-width: 30em) {
  .sidebar {
    font-size: 0.75rem; /* 14px*/
  }
}
/* Sidebar content */
.sidebar {
  background-color: #841212;
}

.sidebar a {
  font-weight: normal;
  color: #fff;
}

.sidebar-item {
  padding: 1rem;
}

.sidebar-item p:last-child {
  margin-bottom: 0;
}

/* Sidebar nav */
.sidebar-nav {
  border-bottom: 1px solid rgba(255, 255, 255, 0.1);
}

.sidebar-nav-item {
  display: block;
  padding: 0.5rem 1rem;
  border-top: 1px solid rgba(255, 255, 255, 0.1);
}

a.sidebar-nav-item-toc {
  color: rgba(255, 255, 255, 0.8);
}

.sidebar-nav-item.active,
a.sidebar-nav-item:hover,
a.sidebar-nav-item:focus {
  text-decoration: none;
  background-color: rgba(255, 255, 255, 0.1);
  border-color: transparent;
}

@media (min-width: 48em) {
  .sidebar-item {
    padding: 1.5rem;
  }
  .sidebar-nav-item {
    padding-left: 1.5rem;
    padding-right: 1.5rem;
  }
}
/* Hide the sidebar checkbox that we toggle with `.sidebar-toggle` */
.sidebar-checkbox {
  display: none;
}

/* Style the `label` that we use to target the `.sidebar-checkbox` */
.sidebar-toggle {
  position: absolute;
  top: 0.8rem;
  left: 1rem;
  display: block;
  padding: 0.25rem 0.75rem;
  color: #505050;
  background-color: #fff;
  border-radius: 0.25rem;
  cursor: pointer;
}

.sidebar-toggle:before {
  display: inline-block;
  width: 1rem;
  height: 0.75rem;
  content: "";
  background-image: -webkit-linear-gradient(to bottom, #555, #555 20%, #fff 20%, #fff 40%, #555 40%, #555 60%, #fff 60%, #fff 80%, #555 80%, #555 100%);
  background-image: -moz-linear-gradient(to bottom, #555, #555 20%, #fff 20%, #fff 40%, #555 40%, #555 60%, #fff 60%, #fff 80%, #555 80%, #555 100%);
  background-image: -ms-linear-gradient(to bottom, #555, #555 20%, #fff 20%, #fff 40%, #555 40%, #555 60%, #fff 60%, #fff 80%, #555 80%, #555 100%);
  background-image: linear-gradient(to bottom, #555, #555 20%, #fff 20%, #fff 40%, #555 40%, #555 60%, #fff 60%, #fff 80%, #555 80%, #555 100%);
}

.sidebar-toggle:active,
#sidebar-checkbox:focus ~ .sidebar-toggle,
#sidebar-checkbox:checked ~ .sidebar-toggle {
  color: #fff;
  background-color: #555;
}

.sidebar-toggle:active:before,
#sidebar-checkbox:focus ~ .sidebar-toggle:before,
#sidebar-checkbox:checked ~ .sidebar-toggle:before {
  background-image: -webkit-linear-gradient(to bottom, #fff, #fff 20%, #555 20%, #555 40%, #fff 40%, #fff 60%, #555 60%, #555 80%, #fff 80%, #fff 100%);
  background-image: -moz-linear-gradient(to bottom, #fff, #fff 20%, #555 20%, #555 40%, #fff 40%, #fff 60%, #555 60%, #555 80%, #fff 80%, #fff 100%);
  background-image: -ms-linear-gradient(to bottom, #fff, #fff 20%, #555 20%, #555 40%, #fff 40%, #fff 60%, #555 60%, #555 80%, #fff 80%, #fff 100%);
  background-image: linear-gradient(to bottom, #fff, #fff 20%, #555 20%, #555 40%, #fff 40%, #fff 60%, #555 60%, #555 80%, #fff 80%, #fff 100%);
}

@media (min-width: 30.1em) {
  .sidebar-toggle {
    position: fixed;
  }
}
@media print {
  .sidebar-toggle {
    display: none;
  }
}
/*
 * Slide effect
 *
 * Handle the sliding effects of the sidebar and content in one spot, seperate
 * from the default styles.
 *
 * As an a heads up, we don't use `transform: translate3d()` here because when
 * mixed with `position: fixed;` for the sidebar toggle, it creates a new
 * containing block. Put simply, the fixed sidebar toggle behaves like
 * `position: absolute;` when transformed.
 *
 * Read more about it at http://meyerweb.com/eric/thoughts/2011/09/12/.
 */
.wrap,
.sidebar,
.sidebar-toggle {
  -webkit-backface-visibility: hidden;
  -ms-backface-visibility: hidden;
  backface-visibility: hidden;
}

.wrap,
.sidebar-toggle {
  -webkit-transition: -webkit-transform 0.3s ease-in-out;
  transition: transform 0.3s ease-in-out;
}

#sidebar-checkbox:checked + .sidebar {
  z-index: 10;
  visibility: visible;
}

#sidebar-checkbox:checked ~ .sidebar,
#sidebar-checkbox:checked ~ .wrap,
#sidebar-checkbox:checked ~ .sidebar-toggle {
  -webkit-transform: translateX(14rem);
  -ms-transform: translateX(14rem);
  transform: translateX(14rem);
}

/*
 * Posts and pages
 *
 * Each post is wrapped in `.post` and is used on default and post layouts. Each
 * page is wrapped in `.page` and is only used on the page layout.
 */
.page,
.post {
  margin-bottom: 4em;
}

/* Blog post or page title */
.page-title,
.post-title,
.post-title a {
  color: #303030;
}

.page-title,
.post-title {
  margin-top: 0;
}

/* Meta data line below post title */
.post-date {
  display: block;
  margin-top: -0.5rem;
  margin-bottom: 1rem;
  color: #9a9a9a;
}

/* Related posts */
.related {
  padding-top: 2rem;
  padding-bottom: 2rem;
  border-top: 1px solid #eee;
}

.related-posts {
  padding-left: 0;
  list-style: none;
}

.related-posts h3 {
  margin-top: 0;
}

.related-posts li small {
  font-size: 75%;
  color: #999;
}

.related-posts li a:hover {
  color: #268bd2;
  text-decoration: none;
}

.related-posts li a:hover small {
  color: inherit;
}

/*
 * Reverse layout
 *
 * Flip the orientation of the page by placing the `.sidebar` and sidebar toggle
 * on the right side.
 */
.layout-reverse .sidebar {
  left: auto;
  right: -14rem;
}

.layout-reverse .sidebar-toggle {
  left: auto;
  right: 1rem;
}

.layout-reverse #sidebar-checkbox:checked ~ .sidebar,
.layout-reverse #sidebar-checkbox:checked ~ .wrap,
.layout-reverse #sidebar-checkbox:checked ~ .sidebar-toggle {
  -webkit-transform: translateX(-14rem);
  -ms-transform: translateX(-14rem);
  transform: translateX(-14rem);
}

/*
 * Overlay sidebar
 *
 * Make the sidebar content overlay the viewport content instead of pushing it
 * aside when toggled.
 */
.sidebar-overlay #sidebar-checkbox:checked ~ .wrap {
  -webkit-transform: translateX(0);
  -ms-transform: translateX(0);
  transform: translateX(0);
}

.sidebar-overlay #sidebar-checkbox:checked ~ .sidebar-toggle {
  box-shadow: 0 0 0 0.25rem #fff;
}

.sidebar-overlay #sidebar-checkbox:checked ~ .sidebar {
  box-shadow: 0.25rem 0 0.5rem rgba(0, 0, 0, 0.1);
}

/* Only one tweak for a reverse layout */
.layout-reverse.sidebar-overlay #sidebar-checkbox:checked ~ .sidebar {
  box-shadow: -0.25rem 0 0.5rem rgba(0, 0, 0, 0.1);
}

/*
 * Themes
 *
 * Apply custom color schemes by adding the appropriate class to the `body`.
 * Based on colors from Base16: http://chriskempson.com/projects/base16/.
 */
/* Red */
.theme-base-red .sidebar,
.theme-base-red .sidebar-toggle:active,
.theme-base-red #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #ac4142;
}

.theme-base-red .container a,
.theme-base-red .sidebar-toggle,
.theme-base-red .related-posts li a:hover {
  color: #ac4142;
}

/* Orange */
.theme-base-orange .sidebar,
.theme-base-orange .sidebar-toggle:active,
.theme-base-orange #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #d28445;
}

.theme-base-orange .container a,
.theme-base-orange .sidebar-toggle,
.theme-base-orange .related-posts li a:hover {
  color: #d28445;
}

/* Yellow */
.theme-base-yellow .sidebar,
.theme-base-yellow .sidebar-toggle:active,
.theme-base-yellow #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #f4bf75;
}

.theme-base-yellow .container a,
.theme-base-yellow .sidebar-toggle,
.theme-base-yellow .related-posts li a:hover {
  color: #f4bf75;
}

/* Green */
.theme-base-green .sidebar,
.theme-base-green .sidebar-toggle:active,
.theme-base-green #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #90a959;
}

.theme-base-green .container a,
.theme-base-green .sidebar-toggle,
.theme-base-green .related-posts li a:hover {
  color: #90a959;
}

/* Cyan */
.theme-base-cyan .sidebar,
.theme-base-cyan .sidebar-toggle:active,
.theme-base-cyan #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #75b5aa;
}

.theme-base-cyan .container a,
.theme-base-cyan .sidebar-toggle,
.theme-base-cyan .related-posts li a:hover {
  color: #75b5aa;
}

/* Blue */
.theme-base-blue .sidebar,
.theme-base-blue .sidebar-toggle:active,
.theme-base-blue #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #6a9fb5;
}

.theme-base-blue .container a,
.theme-base-blue .sidebar-toggle,
.theme-base-blue .related-posts li a:hover {
  color: #6a9fb5;
}

/* Magenta */
.theme-base-magenta .sidebar,
.theme-base-magenta .sidebar-toggle:active,
.theme-base-magenta #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #aa759f;
}

.theme-base-magenta .container a,
.theme-base-magenta .sidebar-toggle,
.theme-base-magenta .related-posts li a:hover {
  color: #aa759f;
}

/* Brown */
.theme-base-brown .sidebar,
.theme-base-brown .sidebar-toggle:active,
.theme-base-brown #sidebar-checkbox:checked ~ .sidebar-toggle {
  background-color: #8f5536;
}

.theme-base-brown .container a,
.theme-base-brown .sidebar-toggle,
.theme-base-brown .related-posts li a:hover {
  color: #8f5536;
}

/*
 * Proof Theorem Environments
 * Based on amsthm package:
 * https://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/Theorems.html and
 * https://golem.ph.utexas.edu/wiki/instiki/show/Theorems
 */
article {
  counter-reset: section subsection refno eqno;
}

h2.label:before {
  margin-right: 1em;
  content: counter(section) "  ";
  counter-increment: section;
  counter-reset: subsection refno;
}

h3.label:before {
  margin-right: 0.8em;
  content: counter(section) "." counter(subsection) "  ";
  counter-increment: subsection;
}

.claim .label:after,
.conjecture .label:after,
.corollary .label:after,
.definition .label:after,
.example .label:after,
.exercise .label:after,
.lemma .label:after,
.notation .label:after,
.note .label:after,
.problem .label:after,
.proposition .label:after,
.question .label:after,
.remark .label:after,
.theorem .label:after {
  content: " " counter(section) "." counter(refno) ".";
  counter-increment: refno;
}

.equation .label:after {
  content: "(" counter(eqno) ")";
  counter-increment: eqno;
}

.theorem, .lemma, .corollary, .proposition, .conjecture {
  font-style: italic;
  margin: 1em 0 1em;
}

.definition {
  font-style: normal;
  margin: 1em 0 1em;
}

.remark {
  font-style: normal;
  margin: 0.7em 0 0.7em;
}

.label {
  font-style: normal;
  font-weight: bold;
}

.label:after {
  content: ".";
}

.label* {
  font-style: normal;
  font-weight: bold;
}

.proof .label {
  font-style: normal;
}

.proof:after {
  content: " ■";
  text-align: right;
}

/*
 * ED SPECIAL LAYOUTS, modified
 * Copyright (c) 2016 Alex Gil.
 */
.centered {
  text-align: center;
}

.larger {
  font-size: 1.6rem;
}

.large {
  font-size: 1.4rem;
}

.small {
  font-size: 0.8rem;
}

.underline {
  text-decoration: underline;
}

div.toc {
  margin-bottom: 4rem;
}

.post .date,
.post .byline {
  font-style: italic;
  font-weight: 300;
  letter-spacing: 0;
  margin-top: -0.5rem;
}

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

sup {
  top: -0.5em;
}

.footnotes {
  line-height: 1.2rem;
  font-size: 0.9rem;
  letter-spacing: 0.01rem;
}

.footnotes .foot-block {
  display: inline-block;
  padding: 0 4rem 0 2rem;
  margin-bottom: 0.8rem;
  font-style: italic;
}

a.footnote {
  padding-left: 0.1rem;
  font-size: 0.66rem;
}

/*Bibliography styles*/
ol.bibliography {
  list-style-type: none;
  padding-left: 1rem;
  text-indent: -1rem;
}

.highlight .hll {
  background-color: #ffc;
}

.highlight .c {
  color: #999;
} /* Comment */
.highlight .err {
  color: #a00;
  background-color: #faa;
} /* Error */
.highlight .k {
  color: #069;
} /* Keyword */
.highlight .o {
  color: #555;
} /* Operator */
.highlight .cm {
  color: #09f;
  font-style: italic;
} /* Comment.Multiline */
.highlight .cp {
  color: #099;
} /* Comment.Preproc */
.highlight .c1 {
  color: #999;
} /* Comment.Single */
.highlight .cs {
  color: #999;
} /* Comment.Special */
.highlight .gd {
  background-color: #fcc;
  border: 1px solid #c00;
} /* Generic.Deleted */
.highlight .ge {
  font-style: italic;
} /* Generic.Emph */
.highlight .gr {
  color: #f00;
} /* Generic.Error */
.highlight .gh {
  color: #030;
} /* Generic.Heading */
.highlight .gi {
  background-color: #cfc;
  border: 1px solid #0c0;
} /* Generic.Inserted */
.highlight .go {
  color: #aaa;
} /* Generic.Output */
.highlight .gp {
  color: #009;
} /* Generic.Prompt */
/* Generic.Strong */
.highlight .gu {
  color: #030;
} /* Generic.Subheading */
.highlight .gt {
  color: #9c6;
} /* Generic.Traceback */
.highlight .kc {
  color: #069;
} /* Keyword.Constant */
.highlight .kd {
  color: #069;
} /* Keyword.Declaration */
.highlight .kn {
  color: #069;
} /* Keyword.Namespace */
.highlight .kp {
  color: #069;
} /* Keyword.Pseudo */
.highlight .kr {
  color: #069;
} /* Keyword.Reserved */
.highlight .kt {
  color: #078;
} /* Keyword.Type */
.highlight .m {
  color: #f60;
} /* Literal.Number */
.highlight .s {
  color: #d44950;
} /* Literal.String */
.highlight .na {
  color: #4f9fcf;
} /* Name.Attribute */
.highlight .nb {
  color: #366;
} /* Name.Builtin */
.highlight .nc {
  color: #0a8;
} /* Name.Class */
.highlight .no {
  color: #360;
} /* Name.Constant */
.highlight .nd {
  color: #99f;
} /* Name.Decorator */
.highlight .ni {
  color: #999;
} /* Name.Entity */
.highlight .ne {
  color: #c00;
} /* Name.Exception */
.highlight .nf {
  color: #c0f;
} /* Name.Function */
.highlight .nl {
  color: #99f;
} /* Name.Label */
.highlight .nn {
  color: #0cf;
} /* Name.Namespace */
.highlight .nt {
  color: #2f6f9f;
} /* Name.Tag */
.highlight .nv {
  color: #033;
} /* Name.Variable */
.highlight .ow {
  color: #000;
} /* Operator.Word */
.highlight .w {
  color: #bbb;
} /* Text.Whitespace */
.highlight .mf {
  color: #f60;
} /* Literal.Number.Float */
.highlight .mh {
  color: #f60;
} /* Literal.Number.Hex */
.highlight .mi {
  color: #f60;
} /* Literal.Number.Integer */
.highlight .mo {
  color: #f60;
} /* Literal.Number.Oct */
.highlight .sb {
  color: #c30;
} /* Literal.String.Backtick */
.highlight .sc {
  color: #c30;
} /* Literal.String.Char */
.highlight .sd {
  color: #c30;
  font-style: italic;
} /* Literal.String.Doc */
.highlight .s2 {
  color: #c30;
} /* Literal.String.Double */
.highlight .se {
  color: #c30;
} /* Literal.String.Escape */
.highlight .sh {
  color: #c30;
} /* Literal.String.Heredoc */
.highlight .si {
  color: #a00;
} /* Literal.String.Interpol */
.highlight .sx {
  color: #c30;
} /* Literal.String.Other */
.highlight .sr {
  color: #3aa;
} /* Literal.String.Regex */
.highlight .s1 {
  color: #c30;
} /* Literal.String.Single */
.highlight .ss {
  color: #fc3;
} /* Literal.String.Symbol */
.highlight .bp {
  color: #366;
} /* Name.Builtin.Pseudo */
.highlight .vc {
  color: #033;
} /* Name.Variable.Class */
.highlight .vg {
  color: #033;
} /* Name.Variable.Global */
.highlight .vi {
  color: #033;
} /* Name.Variable.Instance */
.highlight .il {
  color: #f60;
} /* Literal.Number.Integer.Long */
.css .o,
.css .o + .nt,
.css .nt + .nt {
  color: #999;
}

/* Transfered from poole.css */
/* Code */
code,
pre {
  font-family: Menlo, Monaco, "Courier New", monospace;
}

code {
  padding: 0.25em 0.5em;
  font-size: 85%;
  color: #bf616a;
  background-color: #f9f9f9;
  border-radius: 3px;
}

pre {
  display: block;
  margin-top: 0;
  margin-bottom: 1rem;
  padding: 1rem;
  font-size: 0.8rem;
  line-height: 1.4;
  white-space: pre;
  white-space: pre-wrap;
  word-break: break-all;
  word-wrap: break-word;
  background-color: #f9f9f9;
}

pre code {
  padding: 0;
  font-size: 100%;
  color: inherit;
  background-color: transparent;
}

/* Gist via GitHub Pages */
.gist .gist-file {
  font-family: Menlo, Monaco, "Courier New", monospace !important;
}

.gist .markdown-body {
  padding: 15px;
}

.gist pre {
  padding: 0;
  background-color: transparent;
}

.gist .gist-file .gist-data {
  font-size: 0.8rem !important;
  line-height: 1.4;
}

.gist code {
  padding: 0;
  color: inherit;
  background-color: transparent;
  border-radius: 0;
}

/* Pygments via Jekyll */
.highlight {
  margin-bottom: 1rem;
  border-radius: 4px;
}

.highlight pre {
  margin-bottom: 0;
}

/*# sourceMappingURL=style.css.map */