html, body {
    width: 100%;
    height: 100%;
}

.container {
    max-width: 400px;
}

.result-area {
    padding-top: 4px;
}

.result-highlighted {
    font-family: monospace;
    font-size: 120%;
    color: var(--pico-primary);
}

.result-table-header {
    font-weight: bold;
}

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

.align-right {
    text-align: right;
}

.copyright-footer {
    position: fixed;
    bottom: 0;
    left: 0;
    margin-bottom: 8px;
    margin-left: 8px;
}

.copyright-footer * {
    color: var(--pico-secondary);
    text-decoration: none;
}