tvl-depot/web/homepage/static/tazjin.css

/* Jetbrains Mono font from https://www.jetbrains.com/lp/mono/
   licensed under Apache 2.0. Thanks, Jetbrains! */
@font-face {
    font-family: jetbrains-mono;
    src: url(jetbrains-mono.woff2);
}

@font-face {
    font-family: jetbrains-mono;
    font-weight: bold;
    src: url(jetbrains-mono-bold.woff2);
}

@font-face {
    font-family: jetbrains-mono;
    font-style: italic;
    src: url(jetbrains-mono-italic.woff2);
}

@font-face {
    font-family: jetbrains-mono;
    font-weight: bold;
    font-style: italic;
    src: url(jetbrains-mono-bold-italic.woff2);
}

/* Generic-purpose styling */

body {
    margin: 40px auto;
    line-height: 1.6;
    font-size: 18px;
    padding: 0 10px;
    font-family: jetbrains-mono, monospace;
}

p, a :not(.uncoloured-link) {
    color: inherit;
}

h1, h2, h3 {
    line-height: 1.2
}

/* Homepage styling */

.dark {
    max-width: 800px;
    background-color: #181818;
    color: #e4e4ef;
}

.dark-link, .interblag-title {
    color: #96a6c8;
}

.entry-container {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    justify-content: flex-start;
}

.interblag-title {
    text-decoration: none;
}

.entry {
    width: 42%;
    margin: 5px;
    padding-left: 7px;
    padding-right: 5px;
    border: 2px solid;
    border-radius: 5px;
    flex-grow: 1;
    text-decoration: none;
}

.misc {
    color: #73c936;
    border-color: #73c936;
}

.blog {
    color: #268bd2;
    border-color: #268bd2;
}

.project {
    color: #ff4f58;
    border-color: #ff4f58;
}

.entry-title {
    color: inherit !important;
    font-weight: bold;
    text-decoration: none;
}

.entry-date {
    font-style: italic;
}

/* Blog styling */

.light {
    max-width: 650px;
    color: #383838;
}

.blog-title {
    color: inherit;
    text-decoration: none;
}

.footer {
    text-align: right;
}

.date {
    text-align: right;
    font-style: italic;
    float: right;
}

.inline {
    display: inline;
}

.lod {
    text-align: center;
}

pre {
    min-width: 100%;
    /* some code snippets escape to the side, but I don't want to wrap them */
    width: max-content;
}

img {
    max-width: 100%;
}

.cheddar-callout {
    display: block;
    padding: 10px;
}

.cheddar-question {
    color: #3367d6;
    background-color: #e8f0fe;
}

.cheddar-todo {
    color: #616161;
    background-color: #eeeeee;
}

.cheddar-tip {
    color: #00796b;
    background-color: #e0f2f1;
}

.cheddar-warning {
    color: #a52714;
    background-color: #fbe9e7;
}