/* Main menu on index page */

#main-menu > ul {
    display: flex;
    flex-direction: column;
}

#main-menu > ul > li {
    margin: 0;
    list-style: none;
}

#main-menu > ul > li > a {
    display: block;
    border-radius: 10px;
    color: #0087ff;
    border: 1px solid #0087ff;
    padding: 5px 10px;
    margin: 0.5rem 0;
    font-family: "IBM Plex Mono";
    font-size: 1.5em;
    line-height: 120%;
}

#small-menu > ul > li {
    margin: 0;
    list-style: none;
}

#small-menu > ul > li > a {
    color: #0087ff;
}

.cover-image {
    border-radius: 10px;
    margin-bottom: 2rem;
}

svg.lucide {
    width: 1em;
    height: 1em;
    vertical-align: -0.15em;
}

h1, h2, h3 {
    font-family: "IBM Plex Mono";
}

/* List fix */

ul.simple {
    margin-top: 12px;
    margin-bottom: 24px;
}

ul.simple li {
    margin-left: 24px;
}

ul.simple li p {
    margin-bottom: 0;
}

/* Badges for "Logged in users", "Document owners" etc */

.badge-user, .badge-owner, .badge-new {
    display: inline-block;
    font-size: 0.8em;
    background-color: var(--badge-background, #c2e2f8);
    color: var(--badge-foreground, #1a1a1a);
    padding: 0px 5px;
}

/* Badge colors dark/light theme */
@media not print {
    body[data-theme="dark"] {
        --badge-background: #1c5174;
        --badge-foreground: #eaf4fc;
    }
}
@media (prefers-color-scheme: dark) {
    body:not([data-theme="light"]) {
        --badge-background: #1c5174;
        --badge-foreground: #eaf4fc;
    }
}

h3 {
    margin: 40px 0px 15px 0px;
}

/* Kbd style */
kbd {
    font-family: monospace, serif;
    _font-family: courier new, monospace;
    font-size: 1em
}

kbd:empty {
    display: none;
}