:root {
    --sidebar-color-light: rgb(235, 235, 235);
    --sidebar-color-mid: rgb(228, 228, 228);
    --sidebar-color-dark: rgb(218, 218, 218);
}

body {
    margin: 0;
}

* {
    font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
}

h2 {
    font-weight: normal;
}

#main {
    display: flex;
    flex-direction: row;
    height: 100vh;
}

#graph {
    flex-grow: 2;
    overflow: hidden;
}

#sidebar {
    flex-basis: 40%;
    flex-grow: 1;
    background-color: var(--sidebar-color-light);
    border-left: 1px solid var(--sidebar-color-dark);
}

#sidebar-tabs {
    display: flex;
    border-bottom: 1px solid var(--sidebar-color-dark);
}

#sidebar-tabs button {
    font-size: 18px;
    padding: 10px;
    border: none;
    border-right: 1px solid var(--sidebar-color-dark);
}   

#sidebar-tabs button:hover {
    background-color: var(--sidebar-color-mid);
}

#sidebar-tabs button:active {
    background-color: var(--sidebar-color-dark);
}

#sidebar-tabs button.active {
    background-color: var(--sidebar-color-mid);
}

#sidebar-content {
    padding: 20px;
}

#sidebar-content div {
    display: none;
}

#matrix-table tbody tr td {
    font-size: 20px;
    font-family: 'Courier New', Courier, monospace;
}

span.true {
    color: green;
}

span.false {
    color: red;
}