@font-face {
  font-family: BerkeleyMonoRegular;
  src: url("../font/BerkeleyMonoVariable-Regular.woff2") format("woff2");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: BerkeleyMonoItalic;
  src: url("../font/BerkeleyMonoVariable-Italic.woff2") format("woff2");
  font-weight: normal;
  font-style: italic;
}

/* general style */
body {
  font: 20px/25px 'Saira Condensed';
  margin: 0;
  padding: 0;
}

a {
  color: #06602b;
}

a:hover {
  color: #3b185f;
  background: #f9f8fa;
}

/* headlines */
h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: 'Saira Condensed';
  font-weight: normal;
  color: #222;
}

h1 a,
h2 a,
h3 a,
h4 a,
h5 a,
h6 a {
  text-decoration: none;
}

h1 a:hover,
h2 a:hover,
h3 a:hover,
h4 a:hover {
  color: #432165;
  text-decoration: underline;
}

h1,
h2 {
  margin: 10px 0 25px 0;
}

h1 {
  font-size: 2.074em; /* This is about 41.48px */
  line-height: 1.2; /* This gives a line-height of about 50px */
}

h2 {
  font-size: 36px;
  line-height: 40px;
}

h3::before, h4::before {
  content: "►";
  color: #1a5f7a;
  margin-right: 0.5em;
}

h3, h4 {
  font-weight: 500;
}

/* layout elements */
div.container {
  width: 740px;
  margin: 48px auto;
  padding: 0;
}

div.header,
div.navigation {
  height: 25px;
  margin-bottom: 42px;
  text-align: center;
}

div.navigation a {
  text-decoration: none;
  font-size: 22px;
  padding: 10px;
}

div.separator {
  border-bottom: 1px dotted #ddd;
  padding-bottom: 42px;
  margin-bottom: 42px;
  font-size: 16px;
  color: #888;
  text-align: center;
}

div.navigation ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

div.navigation ul li {
  display: inline;
  margin: 0 2px;
  padding: 0;
}

.disabled {
  display: none;
}

div.body {
    border: 1px solid #ddd;
    border-radius: 5px;
    padding: 20px;
    background-color: #fdfcf5;
    box-shadow: 0 0 10px rgba(0,0,0,0.1);
}

div.footer {
  border-top: 1px dotted #ddd;
  padding-top: 9px;
  margin-top: 42px;
  font-size: 16px;
  color: #888;
  text-align: center;
}

div.footer a {
  color: #888;
}

div.footer p {
  margin: 0;
}

div.social {
  padding-top: 20px;
  padding-bottom: 10px;
}

div.social a {
  color: #888;
  text-decoration: none;
}

div.social ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

div.social ul li {
  display: inline;
  margin: 0 2px;
  padding: 0;
}

/* margins and stuff */
p,
div.line-block,
ul,
ol,
pre,
table {
  margin: 25px 0 25px 0;
}

dt {
  margin: 25px 0 16px 0;
  padding: 0;
}

dd {
  margin: 16px 0 25px 40px;
  padding: 0;
}

ul ol,
ol ul,
ul ul,
ol ol {
  margin: 10px 0;
  padding: 0 0 0 40px;
}

li {
  padding: 0;
}

h1+p.date {
  margin-top: -20px;
  font-style: italic;
}

.highlight {
  overflow-x: auto;
  border: 1px solid #ddd;
}

pre,
code,
tt {
  font-family: 'BerkeleyMonoRegular';
  font-size: 14px;
}

pre {
  line-height: 1.5;
  padding: 0px 15px;
}

/* For inline code */
:not(pre) > code {
  line-height: inherit; /* Match surrounding text */
  font-size: 0.8em; /* Slightly smaller than surrounding text */
  padding: 0.1em 0.3em;
  border-radius: 3px;
  background-color: #fdf6e3;
  color: #657b83;
}


tt {
  background: #eee;
}

/* tables */
table {
  border: 1px solid #ddd;
  border-collapse: collapse;
  background: #fafafa;
}

td,
th {
  padding: 2px 12px;
  border: 1px solid #ddd;
}

/* footnotes */
table.footnote {
  margin: 15px 0;
  background: transparent;
  border: none;
}

table.footnote td {
  border: none;
  padding: 9px 0 0 0;
  font-size: 15px;
}

table.footnote td.label {
  padding-right: 10px;
}

table.footnote td p {
  margin: 0;
}

table.footnote td p+p {
  margin-top: 15px;
}

/* blog overview */
div.entry-overview {
  margin: 25px 122px 25px 102px;
  display: flex;
  justify-content: space-between; /* Ensures the date and detail are separated */
  align-items: flex-start;
  gap: 20px;
}

div.entry-overview h1,
div.entry-overview div.summary,
div.entry-overview div.summary p {
  display: inline;
  line-height: 25px;
  color: #888;
}

div.entry-overview h1 {
  margin: 0;
  font-size: 20px;
}

div.entry-overview div.summary,
div.entry-overview div.date,
div.entry-overview div.summary p {
  margin: 0;
  padding: 0;
}

div.entry-overview div.detail {
  flex-grow: 1;
}

div.entry-overview div.date {
  flex-shrink: 0; /* Prevents the date from shrinking */
  width: 140px;
  color: #888;
  text-align: right;
  font-style: italic;
  font-size: 18.5px;
}

img {
  height: 100%;
  width: 100%;
  display: block; /* Prevents inline spacing issues */
  margin: 0 auto; /* Centers the image */
}

/* other alignment things */
img.align-center {
  margin: 15px auto;
  display: block;
}

/* pagination */
div.pagination {
  margin: 36px 0 0 0;
  text-align: center;
}

div.pagination strong {
  font-weight: normal;
  font-style: italic;
}

/* tags */
p.tags {
  text-align: right;
  font-style: italic;
}

ul.tagcloud {
  font-size: 16px;
  margin: 36px 0;
  padding: 0;
  list-style: none;
}

ul.tagcloud li {
  margin: 0;
  padding: 0 10px;
  display: inline;
}

li.tag-1 {
  font-size: 100.0%;
}

li.tag-2 {
  font-size: 130.0%;
}

li.tag-3 {
  font-size: 160.0%;
}

li.tag-4 {
  font-size: 200.0%;
}

/* latex math */
span.math img {
  margin-bottom: -7px;
}

div.blog-epilogue {
  margin-top: 100px;
  font-size: 19px;
  text-align: center;
}

div.blog-epilogue a {
  text-decoration: none;
  padding-left: 30px;
  padding-right: 30px;
}

/* about img */
img.align-left {
  float: left;
  margin: 20px;
}

/* github gists */
.gist {
  margin: 15px 0 !important;
}

.gist-file {
  border: none !important;
}

.gist-meta {
  height: 17px !important;
  border: 1px solid #D2d2d2 !important;
  padding-top: 1px !important;
  ;
  /*padding: 0px !important;*/
  -moz-border-radius-bottomleft: 10px;
  -webkit-border-bottom-left-radius: 10px;
  -moz-border-radius-bottomright: 10px;
  -webkit-border-bottom-right-radius: 10px;
  font-size: 0.50em !important;

}

.gist-data {
  padding: 15px !important;
  border: 1px solid #D2d2d2 !important;
  border-bottom: none !important;
  -moz-border-radius-topleft: 10px;
  -webkit-border-top-left-radius: 10px;
  -moz-border-radius-topright: 10px;
  -webkit-border-top-right-radius: 10px;
}

/* subscribe to newsletter form */
#newsletter input {
  height: 38px;
  font-size: 14px;
  width: 100%;
  box-sizing: border-box;
  border-radius: 3px;
  border-width: 1px;
  border-style: solid;
  border-color: transparent;
}

#newsletter input[type="text"] {
  padding: 2px 12px;
  margin-bottom: 8px;
  border-color: #c9c9c9;
  box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.25);
}

#newsletter input[type="submit"] {
  color: #fff;
  font-weight: bold;
  font-family: 'Open Sans', sans-serif;
  border-color: #1c385c;
  box-shadow: inset 0 1px 0 #7fade7;
  text-shadow: 0 -1px #34629f;
  background: linear-gradient(to top, #3e74bb 0, #4887dd 100%);
}

#newsletter {
  width: 300px;
  height: 250px;
  margin: 0 auto;
  background: #fff;
  position: relative;
  border-radius: 4px;
  z-index: 20;
}

#newsletter:before {
  display: block;
  content: "";
  height: 5px;
  width: 100%;
  top: -20px;
  right: -20px;
  left: -20px;
  border-top-right-radius: 4px;
  border-top-left-radius: 4px;
  background: repeating-linear-gradient(-225deg, #4782ce, #4782ce 12px, #fff 12px, #fff 24px, #ea222e 24px, #ea222e 36px, #fff 36px, #fff 48px);
}

#newsletter .seal {
  position: absolute;
  top: -1px;
  right: 0;
}

#newsletter .seal:before,
#newsletter .seal:after {
  display: block;
  content: "";
  border: 1px solid #dcdcdc;
  border-radius: 50%;
  position: absolute;
}

#newsletter .seal:before {
  width: 50px;
  height: 50px;
  top: 8px;
  right: 8px;
}

#newsletter .seal:after {
  width: 60px;
  height: 60px;
  top: 3px;
  right: 3px;
}

#newsletter .seal i {
  position: absolute;
  font-size: 24px;
  color: #afafaf;
  top: 20px;
  right: 22px;
  transform: rotate(12deg);
}

#newsletter form {
  padding: 24px 20px 20px;
}

#newsletter form .title {
  font-size: 24px;
  font-weight: 100;
  color: #4783ce;
  margin-bottom: 5px;
}

#newsletter form label {
  display: block;
  font-size: 16px;
  line-height: 24px;
  color: #818181;
  margin-bottom: 20px;
}

#newsletter .shadow {
  width: 240px;
  height: 30px;
  margin: 0 auto;
  box-shadow: 10px 10px 15px rgba(0, 0, 0, 0.4);
  border-radius: 50%;
  position: relative;
  top: -30px;
  z-index: 10;
}

/* Saira */
.saira-condensed-thin {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 100;
  font-style: normal;
}

.saira-condensed-extralight {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 200;
  font-style: normal;
}

.saira-condensed-light {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 300;
  font-style: normal;
}

.saira-condensed-regular {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 400;
  font-style: normal;
}

.saira-condensed-medium {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 500;
  font-style: normal;
}

.saira-condensed-semibold {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 600;
  font-style: normal;
}

.saira-condensed-bold {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 700;
  font-style: normal;
}

.saira-condensed-extrabold {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 800;
  font-style: normal;
}

.saira-condensed-black {
  font-family: "Saira Condensed", sans-serif;
  font-weight: 900;
  font-style: normal;
}

/* Roboto */
.roboto-thin {
  font-family: "Roboto", sans-serif;
  font-weight: 100;
  font-style: normal;
}

.roboto-light {
  font-family: "Roboto", sans-serif;
  font-weight: 300;
  font-style: normal;
}

.roboto-regular {
  font-family: "Roboto", sans-serif;
  font-weight: 400;
  font-style: normal;
}

.roboto-medium {
  font-family: "Roboto", sans-serif;
  font-weight: 500;
  font-style: normal;
}

.roboto-bold {
  font-family: "Roboto", sans-serif;
  font-weight: 700;
  font-style: normal;
}

.roboto-black {
  font-family: "Roboto", sans-serif;
  font-weight: 900;
  font-style: normal;
}

.roboto-thin-italic {
  font-family: "Roboto", sans-serif;
  font-weight: 100;
  font-style: italic;
}

.roboto-light-italic {
  font-family: "Roboto", sans-serif;
  font-weight: 300;
  font-style: italic;
}

.roboto-regular-italic {
  font-family: "Roboto", sans-serif;
  font-weight: 400;
  font-style: italic;
}

.roboto-medium-italic {
  font-family: "Roboto", sans-serif;
  font-weight: 500;
  font-style: italic;
}

.roboto-bold-italic {
  font-family: "Roboto", sans-serif;
  font-weight: 700;
  font-style: italic;
}

.roboto-black-italic {
  font-family: "Roboto", sans-serif;
  font-weight: 900;
  font-style: italic;
}