/**
 * Reset some basic elements
 */
body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr,
dl, dd, ol, ul, figure {
  margin: 0;
  padding: 0;
}

/**
 * Basic styling
 */
body {
  font: 400 16px/1.5 Ubuntu, "Free Sans", Verdana, sans-serif;
  color: #111;
  background-color: #fdfdfd;
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal;
}

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
h1, h2, h3, h4, h5, h6,
p, blockquote,
ul, ol, dl, figure,
.thankful-eyes .highlight,
.solarized-light .highlight,
.highlight {
  margin-bottom: 15px;
}

/**
 * Images
 */
img {
  max-width: 100%;
  vertical-align: middle;
}

/**
 * Figures
 */
figure.graphic {
  width: 85%;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}
figure.graphic object {
  width: 100%;
}

figcaption {
  clear: left;
  margin: 0.75em 0;
  text-align: center;
  font-weight: bold;
  line-height: 1.5em;
  font-size: 14px;
}

/**
 * Lists
 */
ul, ol {
  margin-left: 30px;
}

li > ul,
li > ol {
  margin-bottom: 0;
}

.inline-list {
  list-style-type: none;
  margin: 0;
  padding: 0;
}
.inline-list li {
  list-style-type: none;
  display: inline;
  margin: 0;
  padding: 0;
}

.comma-list {
  list-style-type: none;
  margin: 0;
  padding: 0;
}
.comma-list li {
  list-style-type: none;
  display: inline;
  margin: 0;
  padding: 0;
}
.comma-list li:after {
  content: ", ";
}
.comma-list li:last-child:after {
  content: "";
}

/**
 * Headings
 */
h1, h2, h3, h4, h5, h6 {
  font-weight: 400;
}

/**
 * Links
 */
a {
  color: rgb(31.5066666667, 138.0733333333, 176.9933333333);
  text-decoration: none;
}
a:not(.social-profile) {
  text-decoration: underline;
}
a.social-profile .icon {
  text-decoration: none;
}
a.social-profile .username {
  text-decoration: underline;
}
a:visited {
  color: rgb(19.9466666667, 87.4133333333, 112.0533333333);
}
a:hover {
  color: #111;
}

/**
 * Blockquotes
 */
blockquote {
  color: rgb(66.25, 66.25, 66.25);
  border-left: 5px solid #828282;
  padding-left: 15px;
  font-size: 18px;
  letter-spacing: -1px;
}
blockquote > :last-child {
  margin-bottom: 0;
}

/**
 * Code formatting
 */
pre,
code {
  font-size: 15px;
  /*   border: 1px solid $grey-color-light; */
  border-radius: 3px;
  /*   background-color: #eef; */
}

code {
  padding: 1px 5px;
}

pre {
  padding: 8px 12px;
  overflow-x: auto;
}
pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0;
}

/**
 * Wrapper
 */
.wrapper {
  max-width: -webkit-calc(700px - 60px);
  max-width: calc(700px - 60px);
  margin-right: auto;
  margin-left: auto;
  padding-right: 30px;
  padding-left: 30px;
}
@media screen and (max-width: 700px) {
  .wrapper {
    max-width: -webkit-calc(700px - 30px);
    max-width: calc(700px - 30px);
    padding-right: 15px;
    padding-left: 15px;
  }
}

table.booktab {
  margin: 3ex auto;
  border-top: #828282 medium solid;
  border-bottom: #828282 medium solid;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
}
table.booktab thead tr th {
  padding-bottom: 1ex;
  padding-top: 0.5ex;
  border-bottom: #828282 thin solid;
}
table.booktab tbody > tr:first-child td {
  padding-top: 0.5ex;
}
table.booktab tbody > tr:last-child td {
  padding-bottom: 0.5ex;
}
table.booktab thead tr *,
table.booktab thead td *,
table.booktab tbody tr *,
table.booktab tbody td * {
  padding-right: 0.3em;
  padding-left: 0.3em;
  vertical-align: top;
}

/**
 * Clearfix
 */
.footer-col-wrapper:after, .wrapper:after {
  content: "";
  display: table;
  clear: both;
}

/**
 * Tags
 */
/* tag_box */
.tag_box {
  list-style: none;
  margin: 0;
  margin-bottom: 1em;
  overflow: hidden;
}
.tag_box li {
  line-height: 28px;
  white-space: nowrap;
}
.tag_box li i {
  opacity: 0.9;
}
.tag_box .inline li {
  float: left;
}
.tag_box a {
  padding: 3px 6px;
  margin: 2px;
  background: #e8e8e8;
  color: rgb(66.25, 66.25, 66.25);
  border-radius: 3px;
  text-decoration: none;
  border: 1px dashed #828282;
}
.tag_box a span {
  vertical-align: super;
  font-size: 0.8em;
}
.tag_box a:hover {
  background-color: rgb(206.5, 206.5, 206.5);
}
.tag_box a.active {
  background: #57A957;
  border: 1px solid #4c964d;
  color: #FFF;
}

/**
 * Icons
 */
.social-media-list .icon {
  width: 16px;
  height: 16px;
}
.social-media-list .icon > svg {
  width: inherit;
  height: inherit;
  display: inline-block;
  vertical-align: middle;
}
.social-media-list .username {
  margin-left: 0.5em;
}
.social-media-list .username:hover {
  text-decoration: underline;
}

hr {
  margin-bottom: 15px;
}

.remark {
  border: 1px dashed #404040;
  color: rgb(66.25, 66.25, 66.25);
  padding: 15px;
  padding-bottom: 0;
  width: 85%;
  margin: 0 auto 15px;
}

.center {
  text-align: center;
}

#validated {
  width: 100%;
  padding-bottom: 0.5em;
  text-align: center;
}
#validated ul {
  margin: 0 auto 15px;
  vertical-align: middle;
  padding: 0;
}
#validated li {
  padding-right: 15px;
  display: inline-block;
}
#validated img {
  display: inline;
  height: 32px;
  border: 0;
}

/**
 * Japanese accents
 */
/*From http://accent.u-biq.org/accent.css */
.japanese-accent {
  line-height: 150%;
}
.japanese-accent .R {
  padding-top: 1px;
  border-bottom: #ff6633 1px solid;
  border-right: #ff6633 1px solid;
}
.japanese-accent .F {
  padding-bottom: 1px;
  border-top: #ff6633 1px solid;
  border-right: #ff6633 1px solid;
}
.japanese-accent .L {
  border-bottom: #ff6633 1px solid;
}
.japanese-accent .H {
  border-top: #ff6633 1px solid;
}

/**
 * Site header
 */
.site-header {
  min-height: 56px;
  position: relative;
}

#site-title {
  height: 4em;
  background: #000000;
  text-align: center;
}
#site-title a {
  text-decoration: none;
  color: #fdfdfd;
  font-weight: bold;
  font-size: 2em;
  line-height: 2em;
}

#site-nav {
  /*   float: right; */
  /*   line-height: 56px; */
  width: 100%;
  height: 3em;
  text-align: center;
  position: relative;
  /* Inline link bars for navigational header
   Based on examples from http://www.alistapart.com/articles/taminglists/
   and http://www.kriesi.at/archives/create-a-multilevel-dropdown-menu-with-css-and-improve-it-via-jquery */
}
#site-nav .nav-bar {
  background: #000000;
}
#site-nav .nav-bar ul {
  margin: 0;
  padding: 0;
}
#site-nav .nav-bar li {
  display: inline-block;
  font-weight: bold;
  line-height: 2.5em;
  padding: 0 1em;
}
#site-nav .nav-bar a:link {
  text-decoration: none;
  color: #fdfdfd;
}
#site-nav .nav-bar a:visited {
  text-decoration: none;
  color: #fdfdfd;
}
#site-nav .nav-bar a:hover {
  color: #40b3dd;
}
#site-nav .nav-bar li.active {
  background: #fdfdfd;
}
#site-nav .nav-bar li.active a:link {
  text-decoration: none;
  color: #000000;
}
#site-nav .nav-bar li.active a:visited {
  text-decoration: none;
  color: #000000;
}
#site-nav .nav-bar li.active a:hover {
  color: #40b3dd;
}

/**
 * Site footer
 */
.site-footer {
  padding: 0 0 30px 0;
}
.site-footer .wrapper .fleuron {
  min-height: 50px;
  background: #fdfdfd url(images/fleuron.svg) no-repeat scroll center;
  border: none;
  display: block;
}
.site-footer .wrapper .fleuron hr {
  display: none;
}

.footer-heading {
  font-size: 18px;
  margin-bottom: 15px;
}

.contact-list,
.social-media-list {
  list-style: none;
  margin-left: 0;
}

.footer-col-wrapper {
  font-size: 15px;
  color: rgb(66.25, 66.25, 66.25);
  margin-left: -15px;
}

.footer-col {
  float: left;
  margin-bottom: 15px;
  padding-left: 15px;
}

.footer-col-1 {
  width: -webkit-calc(35% - 15px);
  width: calc(35% - 15px);
}

.footer-col-2 {
  width: -webkit-calc(20% - 15px);
  width: calc(20% - 15px);
}

.footer-col-3 {
  width: -webkit-calc(45% - 15px);
  width: calc(45% - 15px);
}

@media screen and (max-width: 700px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - 15px);
    width: calc(50% - 15px);
  }
  .footer-col-3 {
    width: -webkit-calc(100% - 15px);
    width: calc(100% - 15px);
  }
}
@media screen and (max-width: 600px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - 15px);
    width: calc(100% - 15px);
  }
}
.content {
  padding: 30px 0;
}

/**
 * Page content
 */
.page-title {
  text-align: left;
  font-size: 2em;
  font-weight: bold;
}

.post-list {
  margin-left: 0;
  list-style: none;
}
.post-list > li {
  margin-bottom: 15px;
}

/**
 * Posts
 */
.post-header {
  margin-bottom: 30px;
}
.post-header a {
  color: rgb(31.5066666667, 138.0733333333, 176.9933333333);
  text-decoration: none;
}
.post-header a:hover {
  text-decoration: underline;
}

.left-right {
  display: block;
  width: auto;
  overflow: hidden;
}
.left-right .left, .left-right .right {
  display: block;
  width: 50%;
  float: left;
  margin-bottom: 0;
}
.left-right .right {
  text-align: right;
}

.post-meta {
  font-size: 14px;
  color: rgb(66.25, 66.25, 66.25);
}

.post-link {
  display: block;
  font-size: 24px;
}

.post-content {
  margin-bottom: 30px;
}
.post-content h2 {
  font-size: 32px;
}
@media screen and (max-width: 700px) {
  .post-content h2 {
    font-size: 28px;
  }
}
.post-content h3 {
  font-size: 26px;
}
@media screen and (max-width: 700px) {
  .post-content h3 {
    font-size: 22px;
  }
}
.post-content h4 {
  font-size: 20px;
}
@media screen and (max-width: 700px) {
  .post-content h4 {
    font-size: 18px;
  }
}

.post-navigation {
  font-size: 14px;
  min-height: 2em;
}

.footnotes {
  margin-top: 15px;
  padding-top: 15px;
  border-top: solid gray 1px;
}

/**
 * Resume
 */
.resume figure {
  width: 100%;
  text-align: center;
}
.resume figure img {
  width: 50%;
}
.resume .contact dl dt {
  float: left;
  clear: left;
  text-align: left;
}
.resume .contact dl dd {
  margin: 0 0 0 8em;
  padding-bottom: 0.5em;
}
.resume .references ul {
  list-style-type: none;
}
.resume dl dd {
  margin: 0 0 0 2em;
  padding-bottom: 0.5em;
}
.resume .keywords p {
  display: inline;
  clear: left;
}
.resume .keywords p:after {
  content: ":";
}
.resume .keywords ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
}
.resume .keywords ul li {
  list-style-type: none;
  display: inline;
  margin: 0;
  padding: 0;
}
.resume .keywords ul li:after {
  content: ", ";
}
.resume .keywords ul li:last-child:after {
  content: "";
}
.resume .keywords ul {
  display: inline;
}

#sticker {
  position: fixed;
  bottom: -7em;
  right: -5em;
  background: #40b3dd;
  height: 14em;
  width: 14em;
  border-radius: 50%;
  display: table;
  border: 2px solid white;
}
#sticker span {
  display: table-cell;
  vertical-align: middle;
  text-align: right;
  padding-left: 10%;
  padding-right: 45%;
  padding-bottom: 40%;
  width: 20%;
}
#sticker span a {
  font-weight: bold;
  text-decoration: none;
  color: white;
}

.equation {
  font-family: serif;
  font-style: italic;
  text-align: center;
  padding: 2em;
}

div.date {
  font-size: small;
  margin-top: 2em;
  margin-bottom: 2em;
  font-style: italic;
  text-align: right;
}

/**
 * Syntax highlighting styles
 * Based on GitLab's Solarized Light theme
 */
.highlighter-rouge {
  background: #fdf6e3;
}

.highlight {
  color: #586e75;
  background: #fdf6e3;
}
.highlight .c {
  color: #93a1a1;
}
.highlight .err {
  color: #586e75;
}
.highlight .g {
  color: #586e75;
}
.highlight .k {
  color: #859900;
}
.highlight .l {
  color: #586e75;
}
.highlight .n {
  color: #586e75;
}
.highlight .o {
  color: #859900;
}
.highlight .x {
  color: #cb4b16;
}
.highlight .p {
  color: #586e75;
}
.highlight .cm {
  color: #93a1a1;
}
.highlight .cp {
  color: #859900;
}
.highlight .c1 {
  color: #93a1a1;
}
.highlight .cs {
  color: #859900;
}
.highlight .gd {
  color: #2aa198;
}
.highlight .ge {
  color: #586e75;
  font-style: italic;
}
.highlight .gr {
  color: #dc322f;
}
.highlight .gh {
  color: #cb4b16;
}
.highlight .gi {
  color: #859900;
}
.highlight .go {
  color: #586e75;
}
.highlight .gp {
  color: #586e75;
}
.highlight .gs {
  color: #586e75;
  font-weight: bold;
}
.highlight .gu {
  color: #cb4b16;
}
.highlight .gt {
  color: #586e75;
}
.highlight .kc {
  color: #cb4b16;
}
.highlight .kd {
  color: #268bd2;
}
.highlight .kn {
  color: #859900;
}
.highlight .kp {
  color: #859900;
}
.highlight .kr {
  color: #268bd2;
}
.highlight .kt {
  color: #dc322f;
}
.highlight .ld {
  color: #586e75;
}
.highlight .m {
  color: #2aa198;
}
.highlight .s {
  color: #2aa198;
}
.highlight .na {
  color: #586e75;
}
.highlight .nb {
  color: #b58900;
}
.highlight .nc {
  color: #268bd2;
}
.highlight .no {
  color: #cb4b16;
}
.highlight .nd {
  color: #268bd2;
}
.highlight .ni {
  color: #cb4b16;
}
.highlight .ne {
  color: #cb4b16;
}
.highlight .nf {
  color: #268bd2;
}
.highlight .nl {
  color: #586e75;
}
.highlight .nn {
  color: #586e75;
}
.highlight .nx {
  color: #586e75;
}
.highlight .py {
  color: #586e75;
}
.highlight .nt {
  color: #268bd2;
}
.highlight .nv {
  color: #268bd2;
}
.highlight .ow {
  color: #859900;
}
.highlight .w {
  color: #586e75;
}
.highlight .mf {
  color: #2aa198;
}
.highlight .mh {
  color: #2aa198;
}
.highlight .mi {
  color: #2aa198;
}
.highlight .mo {
  color: #2aa198;
}
.highlight .sb {
  color: #93a1a1;
}
.highlight .sc {
  color: #2aa198;
}
.highlight .sd {
  color: #586e75;
}
.highlight .s2 {
  color: #2aa198;
}
.highlight .se {
  color: #cb4b16;
}
.highlight .sh {
  color: #586e75;
}
.highlight .si {
  color: #2aa198;
}
.highlight .sx {
  color: #2aa198;
}
.highlight .sr {
  color: #dc322f;
}
.highlight .s1 {
  color: #2aa198;
}
.highlight .ss {
  color: #2aa198;
}
.highlight .bp {
  color: #268bd2;
}
.highlight .vc {
  color: #268bd2;
}
.highlight .vg {
  color: #268bd2;
}
.highlight .vi {
  color: #268bd2;
}
.highlight .il {
  color: #2aa198;
}
.highlight .gl {
  color: #93a1a1;
}
.highlight {
  /*   .cd    { color: #6c8b9f; font-style: italic } // Comment */
  /*   .gd .x { color: #cc0000; background-color: #faa } // Generic.Deleted.Specific */
  /*   .gi .x { color: #000; background-color: #afa } // Generic.Inserted.Specific */
  /*   .pi    { color: #4df4ff } // */
  /*   .kv    { color: #f6dd62; font-weight: bold } // Keyword.Declaration */
  /*   .mb    { color: #f696db; font-weight: bold } // */
  /*   .mx    { color: #f696db; font-weight: bold } // */
}

.solarized-light {
  /**
   * Syntax highlighting styles
   * Based on GitLab's Solarized Light theme
   */
}
.solarized-light .highlighter-rouge {
  background: #fdf6e3;
}
.solarized-light .highlight {
  color: #586e75;
  background: #fdf6e3;
}
.solarized-light .highlight .c {
  color: #93a1a1;
}
.solarized-light .highlight .err {
  color: #586e75;
}
.solarized-light .highlight .g {
  color: #586e75;
}
.solarized-light .highlight .k {
  color: #859900;
}
.solarized-light .highlight .l {
  color: #586e75;
}
.solarized-light .highlight .n {
  color: #586e75;
}
.solarized-light .highlight .o {
  color: #859900;
}
.solarized-light .highlight .x {
  color: #cb4b16;
}
.solarized-light .highlight .p {
  color: #586e75;
}
.solarized-light .highlight .cm {
  color: #93a1a1;
}
.solarized-light .highlight .cp {
  color: #859900;
}
.solarized-light .highlight .c1 {
  color: #93a1a1;
}
.solarized-light .highlight .cs {
  color: #859900;
}
.solarized-light .highlight .gd {
  color: #2aa198;
}
.solarized-light .highlight .ge {
  color: #586e75;
  font-style: italic;
}
.solarized-light .highlight .gr {
  color: #dc322f;
}
.solarized-light .highlight .gh {
  color: #cb4b16;
}
.solarized-light .highlight .gi {
  color: #859900;
}
.solarized-light .highlight .go {
  color: #586e75;
}
.solarized-light .highlight .gp {
  color: #586e75;
}
.solarized-light .highlight .gs {
  color: #586e75;
  font-weight: bold;
}
.solarized-light .highlight .gu {
  color: #cb4b16;
}
.solarized-light .highlight .gt {
  color: #586e75;
}
.solarized-light .highlight .kc {
  color: #cb4b16;
}
.solarized-light .highlight .kd {
  color: #268bd2;
}
.solarized-light .highlight .kn {
  color: #859900;
}
.solarized-light .highlight .kp {
  color: #859900;
}
.solarized-light .highlight .kr {
  color: #268bd2;
}
.solarized-light .highlight .kt {
  color: #dc322f;
}
.solarized-light .highlight .ld {
  color: #586e75;
}
.solarized-light .highlight .m {
  color: #2aa198;
}
.solarized-light .highlight .s {
  color: #2aa198;
}
.solarized-light .highlight .na {
  color: #586e75;
}
.solarized-light .highlight .nb {
  color: #b58900;
}
.solarized-light .highlight .nc {
  color: #268bd2;
}
.solarized-light .highlight .no {
  color: #cb4b16;
}
.solarized-light .highlight .nd {
  color: #268bd2;
}
.solarized-light .highlight .ni {
  color: #cb4b16;
}
.solarized-light .highlight .ne {
  color: #cb4b16;
}
.solarized-light .highlight .nf {
  color: #268bd2;
}
.solarized-light .highlight .nl {
  color: #586e75;
}
.solarized-light .highlight .nn {
  color: #586e75;
}
.solarized-light .highlight .nx {
  color: #586e75;
}
.solarized-light .highlight .py {
  color: #586e75;
}
.solarized-light .highlight .nt {
  color: #268bd2;
}
.solarized-light .highlight .nv {
  color: #268bd2;
}
.solarized-light .highlight .ow {
  color: #859900;
}
.solarized-light .highlight .w {
  color: #586e75;
}
.solarized-light .highlight .mf {
  color: #2aa198;
}
.solarized-light .highlight .mh {
  color: #2aa198;
}
.solarized-light .highlight .mi {
  color: #2aa198;
}
.solarized-light .highlight .mo {
  color: #2aa198;
}
.solarized-light .highlight .sb {
  color: #93a1a1;
}
.solarized-light .highlight .sc {
  color: #2aa198;
}
.solarized-light .highlight .sd {
  color: #586e75;
}
.solarized-light .highlight .s2 {
  color: #2aa198;
}
.solarized-light .highlight .se {
  color: #cb4b16;
}
.solarized-light .highlight .sh {
  color: #586e75;
}
.solarized-light .highlight .si {
  color: #2aa198;
}
.solarized-light .highlight .sx {
  color: #2aa198;
}
.solarized-light .highlight .sr {
  color: #dc322f;
}
.solarized-light .highlight .s1 {
  color: #2aa198;
}
.solarized-light .highlight .ss {
  color: #2aa198;
}
.solarized-light .highlight .bp {
  color: #268bd2;
}
.solarized-light .highlight .vc {
  color: #268bd2;
}
.solarized-light .highlight .vg {
  color: #268bd2;
}
.solarized-light .highlight .vi {
  color: #268bd2;
}
.solarized-light .highlight .il {
  color: #2aa198;
}
.solarized-light .highlight .gl {
  color: #93a1a1;
}
.solarized-light .highlight {
  /*   .cd    { color: #6c8b9f; font-style: italic } // Comment */
  /*   .gd .x { color: #cc0000; background-color: #faa } // Generic.Deleted.Specific */
  /*   .gi .x { color: #000; background-color: #afa } // Generic.Inserted.Specific */
  /*   .pi    { color: #4df4ff } // */
  /*   .kv    { color: #f6dd62; font-weight: bold } // Keyword.Declaration */
  /*   .mb    { color: #f696db; font-weight: bold } // */
  /*   .mx    { color: #f696db; font-weight: bold } // */
}

.thankful-eyes {
  /**
   * Syntax highlighting styles
   * Based on Rouge's Thankful Eyes theme
   */
}
.thankful-eyes .highlight {
  color: #faf6e4;
  background: #122b3b;
}
.highlighter-rouge .thankful-eyes .highlight {
  background: #122b3b;
}
.thankful-eyes .highlight .c {
  color: #6c8b9f;
  font-style: italic;
}
.thankful-eyes .highlight .cd {
  color: #6c8b9f;
  font-style: italic;
}
.thankful-eyes .highlight .cm {
  color: #6c8b9f;
  font-style: italic;
}
.thankful-eyes .highlight .c1 {
  color: #6c8b9f;
  font-style: italic;
}
.thankful-eyes .highlight .cs {
  color: #6c8b9f;
  font-style: italic;
}
.thankful-eyes .highlight .cp {
  color: #b2fd6d;
  font-weight: bold;
  font-style: italic;
}
.thankful-eyes .highlight .err {
  color: #fefeec;
  background-color: #cc0000;
}
.thankful-eyes .highlight .k {
  color: #f6dd62;
  font-weight: bold;
}
.thankful-eyes .highlight .o {
  color: #4df4ff;
  font-weight: bold;
}
.thankful-eyes .highlight .gd {
  color: #cc0000;
}
.thankful-eyes .highlight .gl {
  color: #dee5e7;
  background-color: #4e5d62;
}
.thankful-eyes .highlight .ge {
  font-style: italic;
}
.thankful-eyes .highlight .gr {
  color: #fefeec;
  background-color: #cc0000;
}
.thankful-eyes .highlight .gh {
  color: #ffb000;
  font-weight: bold;
}
.thankful-eyes .highlight .gi {
  color: #b2fd6d;
}
.thankful-eyes .highlight .p {
  color: #4df4ff;
}
.thankful-eyes .highlight .pi {
  color: #4df4ff;
}
.thankful-eyes .highlight .gs {
  font-weight: bold;
}
.thankful-eyes .highlight .gu {
  color: #ffb000;
  font-weight: bold;
}
.thankful-eyes .highlight .gt {
  color: #dee5e7;
  background-color: #4e5d62;
}
.thankful-eyes .highlight .kc {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .kn {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .kd {
  color: #f6dd62;
  font-weight: bold;
}
.thankful-eyes .highlight .kv {
  color: #f6dd62;
  font-weight: bold;
}
.thankful-eyes .highlight .kp {
  color: #ffb000;
  font-weight: bold;
}
.thankful-eyes .highlight .kr {
  color: #ffb000;
  font-weight: bold;
}
.thankful-eyes .highlight .nl {
  color: #ffb000;
  font-weight: bold;
}
.thankful-eyes .highlight .kt {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .m {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .na {
  color: #a8e1fe;
}
.thankful-eyes .highlight .py {
  color: #a8e1fe;
}
.thankful-eyes .highlight .nb {
  font-weight: bold;
}
.thankful-eyes .highlight .nc {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .nn {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .no {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .nd {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .ni {
  color: #999999;
  font-weight: bold;
}
.thankful-eyes .highlight .ne {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .nf {
  color: #a8e1fe;
}
.thankful-eyes .highlight .nt {
  color: #ffb000;
  font-weight: bold;
}
.thankful-eyes .highlight .ow {
  color: #4df4ff;
  font-weight: bold;
}
.thankful-eyes .highlight .w {
  color: #bbb;
}
.thankful-eyes .highlight .mf {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .mh {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .mi {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .mo {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .mb {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .mx {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .ld {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .s {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .sc {
  color: #4df4ff;
  font-weight: bold;
}
.thankful-eyes .highlight .sb {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .sd {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .s2 {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .se {
  color: #4df4ff;
  font-weight: bold;
}
.thankful-eyes .highlight .sh {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .si {
  color: #4df4ff;
  font-weight: bold;
}
.thankful-eyes .highlight .sx {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .sr {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .s1 {
  color: #fff0a6;
  font-weight: bold;
}
.thankful-eyes .highlight .ss {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight .bp {
  color: #b2fd6d;
  font-weight: bold;
}
.thankful-eyes .highlight .nv {
  color: #a8e1fe;
  font-weight: bold;
}
.thankful-eyes .highlight .vc {
  color: #a8e1fe;
  font-weight: bold;
}
.thankful-eyes .highlight .vg {
  color: #a8e1fe;
  font-weight: bold;
}
.thankful-eyes .highlight .vi {
  color: #a8e1fe;
  font-weight: bold;
}
.thankful-eyes .highlight .il {
  color: #f696db;
  font-weight: bold;
}
.thankful-eyes .highlight {
  /*   .gd .x { color: #cc0000; background-color: #faa } // Generic.Deleted.Specific */
  /*   .gi .x { color: #000; background-color: #afa } // Generic.Inserted.Specific */
  /*   .go    { color: #888 } // Generic.Output */
  /*   .gp    { color: #555 } // Generic.Prompt */
}

.colorful .highlight {
  color: #bbbbbb;
  background-color: #000;
}
.colorful .highlight table td {
  padding: 5px;
}
.colorful .highlight table pre {
  margin: 0;
}
.colorful .highlight .w {
  color: #bbbbbb;
  background-color: #000;
}
.colorful .highlight .c, .colorful .highlight .cd, .colorful .highlight .cm, .colorful .highlight .c1 {
  color: #888;
}
.colorful .highlight .cp {
  color: #579;
}
.colorful .highlight .cs {
  color: #cc0000;
  font-weight: bold;
}
.colorful .highlight .k, .colorful .highlight .kc, .colorful .highlight .kd, .colorful .highlight .kn, .colorful .highlight .kr, .colorful .highlight .kv {
  color: #080;
  font-weight: bold;
}
.colorful .highlight .kp {
  color: #038;
}
.colorful .highlight .kt {
  color: #339;
}
.colorful .highlight .o {
  color: #333;
}
.colorful .highlight .ow {
  color: #000;
  font-weight: bold;
}
.colorful .highlight .nb, .colorful .highlight .bp {
  color: #007020;
}
.colorful .highlight .nf {
  color: #06B;
  font-weight: bold;
}
.colorful .highlight .nc {
  color: #B06;
  font-weight: bold;
}
.colorful .highlight .nn {
  color: #0e84b5;
  font-weight: bold;
}
.colorful .highlight .ne {
  color: #F00;
  font-weight: bold;
}
.colorful .highlight .nv {
  color: #963;
}
.colorful .highlight .vi {
  color: #33B;
}
.colorful .highlight .vc {
  color: #369;
}
.colorful .highlight .vg {
  color: #d70;
  font-weight: bold;
}
.colorful .highlight .no {
  color: #036;
  font-weight: bold;
}
.colorful .highlight .nl {
  color: #970;
  font-weight: bold;
}
.colorful .highlight .ni {
  color: #800;
  font-weight: bold;
}
.colorful .highlight .na {
  color: #00C;
}
.colorful .highlight .nt {
  color: #070;
}
.colorful .highlight .nd {
  color: #555;
  font-weight: bold;
}
.colorful .highlight .s, .colorful .highlight .sb, .colorful .highlight .s2, .colorful .highlight .sh, .colorful .highlight .s1 {
  background-color: #fff0f0;
}
.colorful .highlight .sc {
  color: #04D;
}
.colorful .highlight .sd {
  color: #D42;
}
.colorful .highlight .si {
  background-color: #eee;
}
.colorful .highlight .se {
  color: #666;
  font-weight: bold;
}
.colorful .highlight .sr {
  color: #000;
  background-color: #fff0ff;
}
.colorful .highlight .ss {
  color: #A60;
}
.colorful .highlight .sx {
  color: #D20;
}
.colorful .highlight .m, .colorful .highlight .mb, .colorful .highlight .mx {
  color: #60E;
  font-weight: bold;
}
.colorful .highlight .mi, .colorful .highlight .il {
  color: #00D;
  font-weight: bold;
}
.colorful .highlight .mf {
  color: #60E;
  font-weight: bold;
}
.colorful .highlight .mh {
  color: #058;
  font-weight: bold;
}
.colorful .highlight .mo {
  color: #40E;
  font-weight: bold;
}
.colorful .highlight .gh {
  color: #000080;
  font-weight: bold;
}
.colorful .highlight .gu {
  color: #800080;
  font-weight: bold;
}
.colorful .highlight .gd {
  color: #A00000;
}
.colorful .highlight .gi {
  color: #00A000;
}
.colorful .highlight .gr {
  color: #FF0000;
}
.colorful .highlight .ge {
  font-style: italic;
}
.colorful .highlight .gs {
  font-weight: bold;
}
.colorful .highlight .gp {
  color: #c65d09;
  font-weight: bold;
}
.colorful .highlight .go {
  color: #888;
}
.colorful .highlight .gt {
  color: #04D;
}
.colorful .highlight .err {
  color: #F00;
  background-color: #FAA;
}

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