assets/main.css
@charset "UTF-8";

* {
  box-sizing: border-box;
}

:root {
    --bg-color: #def6fd;
    --darker-bg-color: #c9e6e9;
}

body {
  font-family: Helvetica, Sans, Arial;
  font-size: 15px;
  margin-left: auto;
  margin-right: auto;
  background-color: var(--bg-color);
  width: 700px;
}
pre.problem code {
    text-align: left;
    font-size: 13px;
    background-color: #fcfff5;
    overflow-x: scroll;
}

@media (max-width: 705px) {
  body {
     width: 97vw;
  }

  pre.problem {
    font-size: 10px;
 }
}

.navbar {
    font-size: 17px;
    display: flex;
    background-color: var(--darker-bg-color);
    border-top: 10px solid var(--darker-bg-color);
}

.navbar span {
    padding-top:5px;
    padding-left: 15px;
    padding-right: 15px;
}

.navbar span.active {
    font-weight: bold;
    background-color: var(--bg-color);
}

.navbar span.inactive {
}

.problems {
    border-collapse: collapse;
}

.problems td {
    border: 1px solid gray;
}

.problem-page-link {
    text-align: center;
}

.solved-col {
    text-align: center;
}

.tags-col {
    width: 140px;
    padding: 2px;
}

.problem-tag {
    border-radius: 2.5px;
    padding: 2px;
    display: inline-block;
}

.algebra {
    background-color: #fcd0c7;
}

.geometry {
    background-color: #d1f5bf;
}

.combinatorics {
    background-color: #c5e1fa;
}

.number-theory {
    background-color: #bbcccc;
}

.inequality {
    background-color: #f5e6c4;
}

.full-problem-grid {
    border-collapse: collapse;
}

.full-problem-grid td {
    border: 1px solid gray;
    padding: 6px;
    font-size: 24px;
}

.full-problem-grid td.year {
    font-weight: bold;
}

.full-problem-grid td.proved {
    background-color: #55ff55;
}

.full-problem-grid td.formalized {
    background-color: #fffc36;
}

.full-problem-grid td.todo {
    background-color: #cccccc;
}

.toplevel-olympiad-stats {
    margin-top: 20px;
    margin-bottom: 20px;
    margin-left: 15px;
    margin-right: 15px;

    border-collapse: collapse;
}

.toplevel-olympiad-stats tbody th {
    font-size: 18px;
    text-align: right;
}

.toplevel-olympiad-stats td {
    border: 1px solid gray;
    font-size: 16px;
    text-align: center;
    width: 85px;
}

.toplevel-tag-stats {
    margin-top: 20px;
    margin-bottom: 20px;
    margin-left: 15px;
    margin-right: 15px;
    border-collapse: collapse;
}

.toplevel-tag-stats th {
    font-size: 16px;
    margin : 3px;
}

.toplevel-tag-stats tbody th {
    text-align: right;
}

.toplevel-tag-stats td {
    border: 1px solid gray;
    font-size: 16px;
    width: 90px;
    text-align: center;
}

.writeups {
    margin-top: 0;
}

.live-links {
    margin-top: 0;
}

div.footer {
    font-size: 10px;
}

div.toplevel-tables {
    display: flex;
    flex-flow: row wrap;
    justify-content: center;
    align-items: center;
}

p.authors {
    font-style: italic;
    font-size: 14px;
}

a.external::after {
/* TODO */
}
