        #user {
            width: 15%;
        }

        #password {
            width: 15%;
        }

        #run_div {
            margin-top: 1rem;
        }

        #run {
            color: var(--button-text-color);
            background-color: var(--button-color);
            padding: 0.25rem 1rem;
            cursor: pointer;
            font-weight: bold;
            font-size: 100%; /* Otherwise button element will have lower font size. */
        }

        #run:hover, #run:focus {
         