/* 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-family: Lato, sans-serif;
  font-size: 16px;
  line-height: 1.7;
  color: #ccc;
  background: #1e1e1e;
  -webkit-text-size-adjust: 100%;
}

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

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

/* Figures */
figure > img {
  display: block; }

figcaption {
  font-size: 14px; }

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

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

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

/* Links */
a {
  color: #00a7e6;
  text-decoration: none; }
a:hover {
  color: #00e7a7; }

/* Blockquotes */
blockquote {
  color: #828282;
  border-left: 4px solid #e8e8e8;
  padding-left: 15px;
  font-size: 18px;
  letter-spacing: -1px;
  font-style: italic;
}

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

/* Code formatting */
pre, code {
  font-size: 90%;
}

code {
  padding: 0px; }

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

/* Wrapper */
.wrapper {
  display: flex;
  max-width: 1080px;
  margin-right: auto;
  margin-left: auto;
}

@media screen and (max-width: 800px) {
  .wrapper {
    max-width: -webkit-calc(800px - (30px));
    max-width: calc(800px - (30px));
    padding-right: 15px;
    padding-left: 15px; } }

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

.icon > svg {
  display: inline-block;
  width: 16px;
  height: 16px;
  vertical-align: middle; }
.icon > svg path {
  fill: #828282; }

.site-header {
  border-bottom: 1px solid #444;
  min-height: 56px;
  display: flex;
  justify-content: space-between;
  align-items: center; /* this centers the items vertically */
  width: 100%;
  padding: 0em 1em;
}

.title {
  font-size: 26px;
  line-height: 56px;
  margin-bottom: 0;
  color: #00a7e6;
  display: flex;
  align-items: center;  
}


.home {
  font-size: 18px;
  display: flex;
  align-items: center;
}

.site-footer {
  border-top: 1px solid #444;
  padding: 20px 10px;
  color: #999;
  width: 100%;
}

@media screen and (max-width: 800px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - (30px / 2));
    width: calc(50% - (30px / 2)); } }

@media screen and (max-width: 600px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - (30px / 2)); } }

.page-content {
  flex: 4;
  padding: 30px 20px;
}

.page-heading {
  font-size: 20px; }

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

.post-meta {
  font-size: 14px;
  color: #828282; }

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

/**
 * Posts
 */
.post-header {
  margin-bottom: 30px; }

.post-title {
  font-size: 42px;
  letter-spacing: -1px;
  line-height: 1; }
@media screen and (max-width: 800px) {
  .post-title {
    font-size: 36px; } }

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

table {
  margin-right: auto;
  margin-left: auto;
  margin-bottom: 1rem;
  border-top: 1px solid #eceeef;
  border-bottom: 1px solid #eceeef;
}
table th, table td {
  padding: 0;
  vertical-align: top;
}
table thead th {
  font-weight: normal;
}

.ctable, .ctable td, .ctable th{
  font-family:"Trebuchet MS",Trebuchet,Verdana,Sans-Serif;
  font-size:100%;
  border-collapse:collapse;
  border-spacing:0;
  padding:2px
}
.ctable{
  border:1px solid #000000;
  margin-bottom:20px
}
.ctable td{
  border:1px dotted #E5E5E5;
}
.ctable th{
  background-color:#ddd;
  padding-left:4px;
  padding-right:4px;
  font-weight: normal;
}

.print_only, .hidden{
  display:none;
}

/* For TOC */
ol {
  counter-reset: item
}
ol#markdown-toc li {
  display: block
}
ol#markdown-toc li:before {
  content: counters(item, ".") " ";
  counter-increment: item
}

/* Theorem/proof */

.theorem {
  display: block;
  margin: 12px 0;
  font-style: italic;
}

.theorem-name {
  font-weight: bold;
  font-style: normal;
  display: inline;
}

.lemma {
  display: block;
  margin: 12px 0;
  font-style: italic;
}

.corollary {
  display: block;
  margin: 12px 0;
  font-style: italic;
}

.proof {
  display: block;
  margin: 12px 0;
  font-style: normal;
}

.proof::after {
  content: "\23F9";
  float: right;
  position: relative;
  bottom: 2.5em;
}

.definition {
  display: block;
  margin: 12px 0;
  font-style: normal;
}

input {
  background-color: #00a7e6aa;
  color: white;
  padding: 5px 5px;
  font-size: 14px;
  width: 100%;
  box-sizing: border-box;
}

::placeholder {
  color: white;
  opacity: 1;
}

.two-col {
  columns: 2;
  -webkit-columns: 2;
  -moz-columns: 2;
}

::selection {
  background: #777;
}

dl {
  padding-left: 20px;
}

.mermaid {
  text-align: center;
}

.sidebar {
  flex: 1;
  background-color: inherit;
  padding: 30px 5px;
}

#results-container {
  list-style: none;
  margin-left: 5px;
  margin-top: 5px;
  font-size: 14px;
  line-height: 16px;
}

#results-container > li {
  margin: 8px 0;
}