body {
    margin:50px;
}
.fixed{
    width: 50%;
}
.fixed30{
    width: 30%;
}
.fixed20{
    width: 20%;
}
.flex-item{
    flex-grow: 1;
}
.gray {
    padding:10px;
    border: 1px solid lightgray;
    background-color:#c0c0bd;
}

.addr {
    color: #669955;
    font-weight: bold;
}

.read {
    color: #e35142;
    font-weight: bold;
}

.write {
    color: #0a58ca;
    font-weight: bold;
}

.vname {
    color: #ffc107;
    font-weight: bold;
}
.configuration {
    padding:10px;
    border: 1px solid lightgray;
}
.result {
    padding:10px;
    border: 1px solid lightgray;
}

.scrollpane {
    overflow-x: scroll;
    overflow-y: hidden;
}

.proof {
    text-align: center;
    display:inline-block;
    width:max-content;
    margin:20px;
}
.premise {
    display: inline-block;
    margin-left: 1em;
    margin-right: 1em;
}
.conclusion {
    display: inline;
}

.rule {
    border-top: 1px solid black;
    text-align: right;
    display: block;
    height:1px;
    z-index: 2;
}

.rulename {
    background-color: black;
    padding:1px;
    color: white;
    font-size: x-small;
    visibility: hidden;
    z-index: 1;
    position:relative;
    display: inline-block;
    height: auto;
    /*right:-2em;*/
    top:-1.5em;
}

.ctx {
    margin:1em;
}

.proof:hover .rule .rulename {
    visibility: visible;
}

.tt {
    font-family: monospace;
}

#monaco-editor-root {
    border: 1px solid lightgray;
    width: 100%;
    width: 80%;
    height: calc(80vh - 7.5rem - 70px);
    flex-grow: 1;
}


/* for monaco */
.wrapper {
    display: flex;
    flex-direction: column;
    height: 100%;
    width: 100%;
}

#status-msg {
    color: red;
}

.stamp {
    padding: 1.5em;
    margin-top: 50px;
    float: right;
    bottom: 0;
}

.stamp span {
    background-color: white;
    z-index: 2;
}

g.node {
    cursor: pointer;
}


g.node:hover rect {
    fill: #f0f0f0 !important;
    stroke: #0D6EFD !important;
    stroke-width: 3px !important;
}

.highlight-row td {
    background-color: #B8D4FE;
}

.mermaidTooltip {
    position: absolute;
    text-align: center;
    max-width: 200px;
    padding: 8px 12px;

    font-family: 'Inter', 'Segoe UI', Roboto, Helvetica, Arial, sans-serif;
    font-size: 12px;
    font-weight: 500;

    background: #1e293b;
    color: #ffffff;

    border: none;
    border-radius: 6px;

    box-shadow: 0 4px 6px -1px rgba(0, 0, 0, 0.1),
    0 2px 4px -1px rgba(0, 0, 0, 0.06);

    pointer-events: none;
    z-index: 100;

    opacity: 0.95;
}