:root {
    --color-link-hover: #3e5060;
    --color-link: #15649f;
}

div.classified-row {
    padding: 2px;
    min-height: 24px;
}

div.classified-row .overflow {
    text-wrap: auto;
}

a {
    color: var(--color-link);
    text-decoration: none;
}

a:hover {
    color: var(--color-link-hover);
}

div.classified-row:nth-child(2n+1) {
    background-color: #f7f7f7;
    padding: 3px;
}

div.pure-g {
    white-space: nowrap;
}

div.container {
    margin: auto;
}

.header-row {
    font-weight: bold;
    min-height: 24px;
    border-bottom: 1px solid black;
    margin-bottom: 5px;
}

#results {
    margin-top: 10px;
}

nav {
    margin-top: 10px;
    margin-bottom: 15px;
}

nav .logo {
    font-weight: bold;
    font-style: italic;
    font-size: 1.35em;
    color: black;
}

nav .logo:hover {
    color: var(--color-link-hover);
}

#q {
    width: 100%;
    outline: none;
    padding: 5px;
    border: 2px solid #bbb;
    border-radius: 2px;
}

#q:focus {
    border-color: #08436d;
    box-shadow: 0 0 5px #9ad6ff;
}

div.error-message {
    border: 2px solid darkred;
    border-radius: 2px;
    padding: 10px;
}

footer {
    text-align: center;
    font-size: small;
    margin-top: 10px;
    margin-bottom: 10px;
}

.classified-row .expression {
    font-family: monospace;
}