* {
  margin: 0;
  padding: 0;
}

body {
  font-family: 'Source Sans Pro', sans-serif;
  font-size: 18px;
  background-color: #FFF;
  position: relative;
  float: left;
  width: 100%;
}

@media (prefers-color-scheme: dark) {
  body {
    color: #FFF;
    background-color: #000;
  }
}

#tesselation {
  stroke: #000;
  stroke-width: 0.5;
}

@media (prefers-color-scheme: dark) {
  #tesselation {
    stroke: #FFF;
    stroke-width: 1;
  }
}

a {
  color: #1B9AF7;
  text-decoration: none;
}

a:hover {
  opacity: 0.5;
}


.home {
  text-align: left;
  line-height: 1.4em;
  max-width: 60%;
  margin: 0em auto 2em;
}

@media screen and (max-width: 600px) {
  .home {
    max-width: 90%;
  }
}

#home-border {
  position: absolute;
  top: 0;
  right: 0;
  height: 100%;
  width: calc(100% - 600px);
  z-index: -1;
}

.home h1 {
  font-family: 'Source Sans Pro', sans-serif;
  font-weight: 600;
  font-size: 13vw;
  white-space: nowrap;
  margin: 0.8em auto 0.8em;
}

@media screen and (min-width: 530px) {
  .home h1 {
    font-size: 70px;
  }
}

.home h2 {
  font-weight: 600;
  margin: 1.25em auto 0.5em;
}

.home ul {
  list-style: none;
}

.home li {
  margin: 0.5em 0em;
}

.home .favorite {
  text-indent: -21px;
}

.home .favorite:before {
  content: "★";
  font-size: 14px;
  padding-right: 0.5em;
}

@media screen and (max-width: 600px) {
  .home .favorite {
    text-indent: -0.5em;
  }

  .home .favorite:before {
    padding-right: 0.5em;
  }
}

.home .pgp {
  font-family: Menlo, monospace;
  font-size: 12px;
}

.contact a {
  color: #FD6631;
}

.projects a {
  color: #DB49D8;
}

.talks a {
  color: #19BD03;
}

.writing a {
  color: #1B9AF7;
}

.date {
  font-size: 11pt;
}


.post {
  max-width: 40em;
  width: 90%;
  margin: 0em auto 2em;
  line-height: 1.5em;
}

.post .meta, .post h1, .post h2, .post h3, .post h4, .post h5 {
  font-family: 'Lora', serif;
  line-height: 1.2em;
}

.post h1 {
  font-size: 48px;
  margin: 1em auto 0.3em;
}

.post h2 {
  font-size: 22px;
  margin: 1em auto;
}

.post .meta {
  font-size: 18px;
}

.post img {
  max-width: 90%;
}

.post p {
  margin: 0 0 24px;
}

.video {
  position: relative;
  padding-bottom: 56.25%;
  height: 0;
  overflow: hidden;
  margin: 2em auto;
}

.video iframe {
  position: absolute;
  top:0;
  left:0;
  width:100%;
  height:100%;
}

.highlighter-rouge {
  font-family: Menlo, monospace;
  font-size: 14px;
  word-wrap: break-word;
}

pre {
  font-family: Menlo, monospace;
}

.highlight tr {
  height: 20px;
}

.highlight {
  font-size: 12px;
  line-height: 20px;
  padding-top: 5px;
  padding-bottom: 5px;
  margin-top: 1em;
  margin-bottom: 2em;
  vertical-align: top;
  border-radius: 3px;
  border: 1px solid #d8d8d8;
  overflow-x: auto;
  overflow-y: scroll;
  -webkit-overflow-scrolling: touch;
}

.highlight .code {
  padding-left: 5px;
}

.gutter {
  color: rgba(0, 0, 0, 0.3);
  min-width: 30px;
  padding-left: 10px;
  padding-right: 10px;
  text-align: right;
  white-space: nowrap;
}

.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #999988; font-style: italic } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #000000; font-weight: bold } /* Keyword */
.highlight .o { color: #000000; font-weight: bold } /* Operator */
.highlight .cm { color: #999988; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #999999; font-weight: bold; font-style: italic } /* Comment.Preproc */
.highlight .c1 { color: #999988; font-style: italic } /* Comment.Single */
.highlight .cs { color: #999999; font-weight: bold; font-style: italic } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { color: #000000; font-style: italic } /* Generic.Emph */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #999999 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #aaaaaa } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #000000; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #000000; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #000000; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #000000; font-weight: bold } /* Keyword.Pseudo */
.highlight .kr { color: #000000; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #445588; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #009999 } /* Literal.Number */
.highlight .s { color: #d01040 } /* Literal.String */
.highlight .na { color: #008080 } /* Name.Attribute */
.highlight .nb { color: #0086B3 } /* Name.Builtin */
.highlight .nc { color: #445588; font-weight: bold } /* Name.Class */
.highlight .no { color: #008080 } /* Name.Constant */
.highlight .nd { color: #3c5d5d; font-weight: bold } /* Name.Decorator */
.highlight .ni { color: #800080 } /* Name.Entity */
.highlight .ne { color: #990000; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #990000; font-weight: bold } /* Name.Function */
.highlight .nl { color: #990000; font-weight: bold } /* Name.Label */
.highlight .nn { color: #555555 } /* Name.Namespace */
.highlight .nt { color: #000080 } /* Name.Tag */
.highlight .nv { color: #008080 } /* Name.Variable */
.highlight .ow { color: #000000; font-weight: bold } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mf { color: #009999 } /* Literal.Number.Float */
.highlight .mh { color: #009999 } /* Literal.Number.Hex */
.highlight .mi { color: #009999 } /* Literal.Number.Integer */
.highlight .mo { color: #009999 } /* Literal.Number.Oct */
.highlight .sb { color: #d01040 } /* Literal.String.Backtick */
.highlight .sc { color: #d01040 } /* Literal.String.Char */
.highlight .sd { color: #d01040 } /* Literal.String.Doc */
.highlight .s2 { color: #d01040 } /* Literal.String.Double */
.highlight .se { color: #d01040 } /* Literal.String.Escape */
.highlight .sh { color: #d01040 } /* Literal.String.Heredoc */
.highlight .si { color: #d01040 } /* Literal.String.Interpol */
.highlight .sx { color: #d01040 } /* Literal.String.Other */
.highlight .sr { color: #009926 } /* Literal.String.Regex */
.highlight .s1 { color: #d01040 } /* Literal.String.Single */
.highlight .ss { color: #990073 } /* Literal.String.Symbol */
.highlight .bp { color: #999999 } /* Name.Builtin.Pseudo */
.highlight .vc { color: #008080 } /* Name.Variable.Class */
.highlight .vg { color: #008080 } /* Name.Variable.Global */
.highlight .vi { color: #008080 } /* Name.Variable.Instance */
.highlight .il { color: #009999 } /* Literal.Number.Integer.Long */
