  border: 1px solid var(--border-color);
        }

        /* The row under mouse pointer is highlight for better legibility. */
        tr:hover, tr:hover td {
            background-color: var(--table-hover-color);
        }

        tr:hover {
            box-shadow: 0 0 1rem rgba(0, 0, 0, 0.1);
        }

        #error {
            background: var(--error-color);
            white-space: pre-wrap;
            padding: 0.5rem 1rem;
            display: none;
        }

        /* When mouse pointer is