.fraction {
    display: table-cell;
    text-align: center;    
}
.denominator{
    border-top: 1px solid white;
    display: block;
}
.fraction, .numerator, .denominator {
    padding: 0px 5px;    
}

/* ::-webkit-scrollbar {
    color: white;
    width: 100px; 
    background-color: white;
    column-rule-color: black;
    column-rule-style: double;
} */

:root {
    --default-font: Arial, Helvetica, sans-serif;
    --wff-font: 'Courier New', Courier, monospace;

    --header-background-colour: #252525;
    --page-background-colour: #303030;
    --box-colour: #404040;
    --input-background-colour: #505050;
    --input-background-colour-disabled: #353535;
    --input-button-background-colour: #505050;
    --input-button-background-colour-hover: #606060;
    --proof-button-background-colour: #606060;
    --proof-button-background-colour-hover: #707070;
    --proof-button-background-colour-disabled: #505050;
    /* --input-button-background-colour-disabled: #454545; */
    --table-row-alternate-colour: #555555;
    --font-colour: white;
    --font-colour-disabled: #a0a0a0;
}
   
html, body {
    margin: 0;
    color: var(--font-colour);
    font-family: var(--default-font);
    background-color: var(--page-background-colour);
    display: flex;
    flex-direction: column;
    max-height: 100vh;
    height: 100%;
}

.wff-text {
    font-family: var(--wff-font);
}

.wff-example-text {
    font-family: var(--wff-font);
    background-color: var(--input-background-colour);
}

/* Home Page */

.home-header {
    flex: 0 0 auto;
    text-align: center;
}
.home-header h1 {
    margin-top: 0;
    margin-bottom: 8px;
}

#home-container {
    display: flex;
    flex: 1 1 auto;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    height: 100%;
}

#wff-and-method {
    flex: 1 1 auto;
}

#home-help-tab-content {
    /* height: 100%; */
    /* max-height: max-content; */
    flex: 1 1 0;
    background-color: var(--box-colour);
    padding: 0px 16px;
    margin: 16px;
    overflow-y: scroll;
    border-radius: 8px;
}

#home-container span {
    display: inline-block;
}
#proof-start-info {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 8px;
    padding: 8px;
}

#proof-wff-input {
    background-color: var(--input-background-colour);
    border: none;
    outline: none;
    color: inherit;
    border-radius: 8px;
    padding: 8px;
    font-family: var(--wff-font);
}

#proof-method-select {
    background-color: var(--input-background-colour);
    border: none;
    color: inherit;
    border-radius: 8px;
    padding: 8px;
}

#assumptions-input-container {
    width: 100%;
    /* text-align: left; */
}

#assumptions-input {
    display: block;
    width: 100%;
    height: 4rem;
    resize: vertical;
    background-color: var(--input-background-colour);
    border: none;
    outline: none;
    color: inherit;
    padding: 8px;
}

#proof-start-button {
    background-color: var(--input-background-colour);
    color: inherit;
    border: none;
    border-radius: 8px;
    padding: 8px;
}
#proof-start-button:hover {
    cursor: pointer;
    background-color: var(--input-button-background-colour-hover);
}

/* Proof Page */

.proof-header {
    display: grid; 
    align-items: center;
    /* justify-items: center; */
    grid-template-columns: 1fr 3fr 1fr;
    background-color: var(--header-background-colour);
    margin: 0;
    padding: 8px;
}

.proof-header h1 {
    margin: 0
}

.proof-header h1 a {
    text-decoration: none;
    color: inherit;
}

#wff-and-method {
    justify-self: center;
    display: flex;
    align-items: center;
    gap: 4px;
}

.proof-header > a {
    justify-self: right;
    text-decoration: none;
    color: inherit;
    margin-right: 8px;
}
.proof-header > a:hover {
    text-decoration: underline;
}

.box {
    background-color: var(--box-colour);
    border-radius: 8px;
}

#container {
    flex: 1 1 auto;
    display: flex;
    min-height: 100px; /* without this everything breaks lol */ 
    margin: 8px;
    gap: 8px;
}

#proof-container {
    flex: 1 1 auto;
    display: flex;
    flex-direction: column;
    justify-content: start;
    gap: 8px;
}

#proof-container > h2 {
    text-align: center;
}

#proof-info {
    flex: 0 auto;
    padding: 0 8px;
}

#steps-container {
    display: flex;
    flex-direction: column;
    gap: 8px;
    flex: auto;
    min-height: 100px;
    /* overflow-y: auto;   
    overflow-x: auto; */
    padding: 8px;
    /* width: 100%; */
}

#proof-controls {
    display: flex;
    width: 100%;
    gap: 4px;
}
#proof-controls > p {
    margin: 8px;
    flex: 1 0 auto;
}
.proof-button {
    justify-self: right;
    align-self: right;
    background-color: var(--proof-button-background-colour);
    border: none;
    border-radius: 8px;
    color: inherit;
}
.proof-button:enabled:hover {
    cursor: pointer;
    background-color: var(--proof-button-background-colour-hover);
}
.proof-button:disabled {
    background-color: var(--proof-button-background-colour-disabled);
    color: var(--font-colour-disabled);
}

#steps-table-container {
    overflow: auto;
}

#steps-table {
    margin: 8px;
    font-family: var(--wff-font);
    counter-reset: rowNumber;
    text-align: left;
}

#steps-table tr::before {
    display: table-cell;
    counter-increment: rowNumber;
    content: counter(rowNumber) ".";
    text-align: right;
}
.steps-justification {
    padding: 0 2rem;
}

#input-container {
    flex: 0 0 auto;
    display: flex;
    gap: 4px;
}
#input-wff-entry {
    flex-grow: 1;
    color: inherit;
    background-color: var(--input-background-colour);
    font-family: var(--wff-font);
    border: none;
    padding: 12px;
    border-radius: 8px;
}
#input-wff-entry:focus {
    outline: none;
}
#input-wff-entry:disabled {
    background-color: var(--input-background-colour-disabled);
}

#button-check-step {
    background-color: var(--input-button-background-colour);
    color: inherit;
    border: inherit;
    border-radius: 8px;
}
#button-check-step:hover:enabled {
    cursor: pointer;
    background-color: var(--input-button-background-colour-hover);
}

#button-check-step:disabled {
    background-color: var(--input-background-colour-disabled);
    color: var(--font-colour-disabled);
}


/* TODO: On small displays, resource container should appear under the input 
rather than beside it */
#resource-container {
    flex: 1 1 0;
    /* min-width: 100px; */
    min-width: min-content;
    display: flex;
    flex-direction: column;
    justify-content: start;
    gap: 8px;
    overflow: auto;
    /* min-height: 1000px; */
}

.resource-tab-bar {
    display: flex;
    width: 100%;
    justify-items: center;
    background-color: var(--input-background-colour-disabled);
    border-top-left-radius: 8px;
    border-top-right-radius: 8px;
}

.resource-tab {
    /* justify-self: center; */
    /* background-color: white; */
    width: 100%;
    border: none;
    padding: 8px;
    color: inherit;
}

.resource-tab:disabled {
    background-color: var(--box-colour);
    border-top-left-radius: 8px;
    border-top-right-radius: 8px;
}
.resource-tab:enabled {
    border-radius: inherit;
    background-color: var(--input-background-colour-disabled);
    color: var(--font-colour-disabled);
}
.resource-tab:enabled:hover {
    cursor: pointer;
}
.resource-tab h3 {
    margin: 0;
}

.resource {
    flex: 0 1 auto;
    display: flex;
    flex-direction: column;
    height: auto;
    min-height: 100px;
}
.resource > h3 {
    text-align: center;
    padding: 0.5rem;
    margin: 0;
    border-top-left-radius: 8px;
    border-top-right-radius: 8px;
    /* background-color: var(--input-background-colour-disabled); */
}

#operators-container {
    display: flex;
    flex-direction: column;
}

#operators-tab-content {
    display: none;
}

#help-tab-content {
    max-width: inherit;
    overflow-y: auto;
    padding: 8px;
}

#operators {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
}
#operators > p {
    margin: 4px 8px;
}

.table-container {
    flex: 0 1 auto; 
    overflow-y: auto;
    /* resize: vertical; */
}
.table-container table {
    font-family: var(--wff-font);
    border-collapse: collapse;
    width: 100%;
}
.table-container table tr td {
    padding: 0.25rem 1rem;
}
.table-container table tr td:first-child {
    text-align: right;
}
.table-container table tr td:last-child {
    text-align: left;
}

.table-container tr:nth-child(odd) {
    background-color: var(--table-row-alternate-colour);
}