 make general feel of insecurity) */
            font-size: 11pt;
            padding: 0.25rem;
            background-color: var(--element-background-color);
        }

        #query { /* Make enough space for even big queries. */
            height: 20vh; /* Keeps query text-area's width full screen even when user adjusting the width of the query box. */
            min-width: 100%;
        }

        #inputs {
            white-space: nowrap;
        }

        #url {
            width: 70%;
        }

