:root {
  /*--blue: #6eaee6;*/
  --blue: #4C6F8A;
  --linkblue: #176ECB;
  --cleanblue: #47a9ff;
  --headerborderblue: #5D8DB2;
  --borderblue: #5D8DB2;
  --white: #f9f5f4;
  --black: #333;
  --red: #E36859;
  /*--orange: #ffb847;*/
  /*--orange: #f89b1f;*/
  --orange: #EB993D;
  /*--yellow: #ffe847;*/
  --yellow: #F0D830;
  --green: #5ed67e;
  --grey: #aaa;
  --me-border: #ddd;
  --blog-link: #4C6F8A;
}

html, body {
  margin: 0;
  padding: 0;
  background: var(--white);
  color: var(--black);
  font-family: "Noto Sans", "Dejavu Sans", sans-serif, sans;
}

html {
  height: 100%;
}

body {
  display: flex;
  flex-direction: column;
  text-align: justify;
  min-height: 100%;
}

#page {
  flex: 1;
  display: flex;
  flex-direction: row;
  align-items: flex-start;
}

#content-block {
  flex: 1;
}

#content {
  max-width: 1200px;
  margin: auto;
  font-size: 1.1em;
  padding: 15px;
  line-height: 1.5em;
}

#menu {
  width: 150px;
  margin: 1em 1em 3em 1em;
  background: white;
  border: 1px solid #aaa;
}

#menu ul {
  list-style: none;
  margin: 0;
  padding: 0;
}

#menu ul li {
  margin: 5px;
}

#menu ul a, #menu ul li:first-child {
  text-align: center;
  color: inherit;
  display: block;
  text-decoration: none;
  padding: 5px;
}

#menu ul a:hover, #menu ul li:first-child {
  background: var(--grey);
  color: var(--white);
}

header, footer {
  padding: 1em;
  background: var(--blue);
  color: var(--white);
  text-align: center;
}

header {
  background-image: url('/images/chibi.png');
  background-repeat: no-repeat;
  background-size: 103px 214px;
  border-bottom: 10px solid var(--headerborderblue);
  margin-bottom: 2em;
  padding-top: 0;
  padding-bottom: 0;
}

header a {
  color: inherit;
  text-decoration: none;
  display: inline-block;
  padding: 0.5em;
}

footer a {
  color: inherit;
  transition-duration: 1s;
}

footer a:hover {
  color: #ddd;
}

header p {
  font-size: 1.5em;
  margin: 0;
}

header p#lang {
  font-size: 0.9em;
  text-align: right;
}

#space-holder, #hamburger, #hamburger-label {
  display: none;
}


footer {
  margin-top: 2em;
  border-top: 10px solid var(--headerborderblue);
}

#button a {
  margin: 0 0.5em;
}

#post-list {
  text-align: center;
  display: flex;
  flex-direction: row;
  flex-flow: row wrap;
  justify-content: center;
  width: 100%;
}

#post-list .post {
  display: inline-block;
  text-align: justify;
  background: #fff;
  border-top: 3px solid var(--blue);
  box-shadow: 1px 1px 3px 3px #eee;
  margin: 2em 1.3em;
  width: 350px;
  display: flex;
  flex-direction: column;
}

#post-list .post.eo {
  border-top: 3px solid var(--green);
}

#post-list .post.en {
  border-top: 3px solid var(--red);
}

#post-list .post .post-content {
  flex: 1;
  padding: 0 10px;
  text-align: left;
}

#post-list .post .title {
  text-align: center;
  margin: 0;
  padding: 0.5em 0;
}

#post-list .post .title a {
  text-decoration: none;
  font-weight: bold;
  font-size: 1.1em;
  color: var(--blog-link);
}

#post-list .date {
  display: flex;
  align-items: center;
  background: #f9f9f9;
  padding: 15px;
  margin: 0;
}

#post-list .date span {
  flex: 1;
  text-align: left;
}

#post-list .date a {
  display: inline-block;
  color: var(--white);
  background: var(--borderblue);
  padding: 0.5em;
  border-radius: 3px;
}

#post-list .date a:hover {
  color: var(--white);
}

h1 {
  color: var(--blue);
  text-align: center;
}

.date {
  color: #555;
  text-align: right;
  font-weight: lighter;
}

.icon {
  width: 25px;
  height: 25px;
  display: inline-block;
  background: var(--headerborderblue);
  padding: 0.5em;
  border-radius: 5em;
}

code {
  background: #eee;
  padding: 2px;
}

pre code {
  padding: 0;
}

blockquote, pre {
  border-left: 5px solid var(--orange);
  padding-left: 5px;
  margin: 0;
  color: #555;
  max-width: 100%;
  overflow: auto;
  background: #eee;
}

pre div {
  display: inline;
}

/*
pre .open, pre .close, pre .syntax-open, pre .syntax-close {
  font-weight: bold;
  color: #000;
}
*/

pre .syntax-symbol {
  color: var(--black);
  font-weight: normal;
}

pre .syntax-paren {
  color: var(--black);
  font-weight: normal;
}

pre .syntax-paren:hover {
  font-weight: bold;
  color: #000;
}

pre .syntax-paren:hover > .syntax-open:first-child, pre .syntax-paren:hover > .syntax-close:last-child {
  background-color: #ddd;
}

pre .syntax-paren .syntax-paren:hover {
  color: var(--green);
}

pre .syntax-paren .syntax-paren .syntax-paren:hover {
  color: var(--orange);
}

pre .syntax-paren .syntax-paren .syntax-paren .syntax-paren:hover {
  color: var(--red);
}

pre .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren:hover {
  color: var(--borderblue);
}

pre .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren:hover {
  color: var(--yellow);
}

pre .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren:hover {
  color: #000;
}

pre .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren .syntax-paren:hover {
  color: var(--green);
}

pre .comment, pre .syntax-comment {
  color: var(--blue);
  font-weight: normal;
}

pre .keyword, pre .syntax-special {
  color: var(--orange);
  font-weight: normal;
}

pre .string, pre .syntax-string {
  color: var(--red);
  font-weight: normal;
}

pre .number {
  color: var(--orange);
  font-weight: normal;
}

article {
  padding: 5px;
  margin: auto;
  max-width: 800px;
}

article img {
  max-width: 100%;
  object-fit: scale-down;
}

article figcaption {
  text-align: center;
  font-size: 0.9em;
  color: #555;
}

#page a {
  text-decoration: none;
  color: var(--linkblue);
  transition-duration: 0.2s;
}

#page a:hover {
  color: var(--cleanblue);
  text-decoration: underline;
}

.pub ul, ul.pub {
  list-style: none;
  margin: 0;
  padding: 0;
}

.pub li {
  border: 1px solid #ddd;
  border-top: none;
  border-left: 5px solid var(--green);
  margin: 2em 0;
  padding: 10px;
}

.pub li.thesis {
  border-left: 5px solid var(--red);
}

.pub li.conf {
  border-left: 5px solid var(--orange);
}

.pub li.workshop {
  border-left: 5px solid var(--yellow);
}

.pub p:first-child {
  padding-bottom: 0.7em;
  font-weight: bold;
}


.pub p {
  margin: 0;
  padding: 0;
}

.pub em {
  font-style: normal;
  color: #555;
}

.cv section h1 {
  text-align: left;
  color: var(--grey);
  border-bottom: 1px solid var(--grey);
}

.date-cv {
  display: table;
}

.date-cv p {
  display: table-row;
}

.date-cv p > span {
  display: table-cell;
  text-align: left;
  padding: 5px;
}

.cv .date {
  color: #555;
}

.lang > * {
  width: 40px;
  display: block;
  margin: auto;
  font-size: 0.8em;
  line-height: 0.9em;
}

.lang {
  width: 65px;
  height: 65px;
  border-radius: 200px;
  vertical-align: middle;
  text-align: center;
  display: inline-flex;
  margin-right: 20px;
  margin-top: 10px;
  background: var(--grey);
}

.lang-100 {
  border: 5px solid var(--green);
}

.lang-50 {
  border-right: 5px solid var(--orange);
  border-bottom: 5px solid var(--orange);
}

.lang-75 {
  border-right: 5px solid var(--yellow);
  border-bottom: 5px solid var(--yellow);
  border-top: 5px solid var(--yellow);
}

p.warning {
  background-color: #ecc;
  padding: 10px;
  border-left: 5px solid #e66;
}

p.important {
  background-color: #edc;
  padding: 10px;
  border-left: 5px solid #eb6;
}

.big-img-label + label {
  cursor: pointer;
}

.big-img-label:checked + label {
  display: flex;
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  align-items: center;
  background: rgba(220,220,220,0.7);
}

.big-img-label:checked + label img {
  background: var(--white);
  max-width: 95%;
  margin: auto;
}

.big-img-label {
  display: none;
}

p.math {
  display: block;
  margin: auto;
  max-width: 1200px;
  margin-top: 2em;
  margin-bottom: 3em;
  text-align: center;
  line-height: auto;
}

div.theorem, div.property {
  border-top: 3px solid var(--red);
  background: #fff;
  box-shadow: 1px 1px 3px 3px #eee;
  margin-bottom: 1em;
  padding-bottom: 0.5em;
}

div.property {
  border-top: 3px solid var(--green);
}

div.theorem .proof::after {
  content: '□';
  float: right;
}

div.theorem div.proof::after {
  position: relative;
  top: -2em;
}

div.theorem .statement, div.property .name {
  display: block;
  padding: 0.5em;
  background: #eee;
}

div.theorem .name, div.property .name {
  display: block;
}

div.theorem .proof {
  display: block;
  padding: 0.5em;
}

div.theorem > p, div.property > p {
  margin: 0;
}

div.property .name {
  margin-bottom: 0.5em;
}

div.property .statement {
  margin: 0.5em;
}



table {
  width: 100%;
  border: none;
  border-collapse: collapse;
  border: 1px solid #aaa;
}

thead, tr {
  width: 100%;
}

td, th {
  padding: 0;
  padding: 15px;
  text-align: left;
  border: 1px solid #aaa;
}

table.even-odd tr:nth-child(even) td, thead {
  background: #ddd;
}

thead th, tfoot td {
  font-weight: bold;
}

.prev-next {
  text-align: center;
}