html {
    min-height: 100%;
    height: 100%;
}

body {
    margin-left: 1%;
    margin-right: 1%;
    min-height: 100%;
    height: 100%;
}

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

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

.clickable {
    cursor: pointer
}

.link-like {
    cursor: pointer;
    color: blue;
    text-decoration: underline;
}

.fillup {
    height: 100%;
    min-height: 100%;
    width: 100%;
}

.help-box {
    height: 600px;
}

.meta-text {
    font-style: italic;
}

.thick {
    font-weight: bold;
}

.meta-logic {
    font-family: monospace;
}

.combinator {
    font-weight: bold;
    text-decoration: underline;
    /*background-color: cyan;*/
}

.padded-border {
    padding: 1%;
}

.flex-spaced {
    display: flex;
    justify-content: space-between;
}

.flex-left {
    display: flex;
    justify-content: left;
}

.inline {
    display: inline-block;
    vertical-align: top;
    padding: 1%;
}

.nowrap {
    text-wrap: nowrap;
}

.bold {
    font-weight: bold;
}

.big-bold {
    font-weight: bold;
    font-size: larger;
}

.vertical-center {
    vertical-align: middle;
}

.tip-target {
}

.tip-text {
    visibility: hidden;
    width: 120px;
    background-color: black;
    color: #fff;
    text-align: center;
    padding: 5px 0;
    border-radius: 6px;

    /* Position the tip text - see examples below! */
    position: absolute;
    z-index: 1;
}

.tip-target:hover .tip-text {
    visibility: visible;
}

dialog:not([open]) {
    display: none !important;
}

.user-picker {
    width: 30em; /* Set a fixed width for the box */
    height: 10em; /* Set a fixed height for the box */
    overflow-y: auto; /* Add vertical scrollbar if content overflows */
    border: 1px solid #ccc; /* Optional: Add a border for visibility */
    padding: 10px; /* Optional: Add padding inside the box */
}