* {
    box-sizing: border-box
}

body {
    font: bold 12pt Courier;
    /* background-color: #999; */
    margin-top: 5px;
    margin-left: 5px;
}

/* Style the tab */
.tab {
    float: left;
    border-right: 1px solid red;
    background-color: #eec;
    width: 8%;
    height: 1030px;
}

/* Style the buttons inside the tab */
.tab button {
    display: block;
    background-color: inherit;
    color: black;
    padding: 20px 10px;
    width: 100%;
    border: none;
    outline: none;
    text-align: left;
    cursor: pointer;
    transition: 0.4s;
    font: 15px Courier;
}

/* Change background color of buttons on hover */
.tab button:hover {
    background-color: #ffa;
    width: 101%;
}

/* Create an active/current "tab button" class */
.tab button.active {
    border-top-left-radius: 10px;
    border-bottom-left-radius: 10px;
    background-color: #fff;
    border: 1px solid red;
    border-right: none;
    width: 101%;
}

/* Style the tab content */
.tabcontent {
    float: left;
    padding: 0px 1px;
    border-top-right-radius: 8px;
    border-bottom-right-radius: 10px;
    border: 1px solid red;
    width: 91.5%;
    border-left: none;
    height: 1030px;
    background-color: #ffffff;
}

table {
    padding: 5px;
}

td {
    width: auto;
    border-width: 0px;
    border-style: solid;
    border-color: #dddddd;
    font: bold 12pt Courier;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 5px;
    padding-bottom: 5px;
}

a {
    text-decoration: none;
    font: 10pt Courier;
    color: #0000ff;
}

.tdline {
    text-align: center;
    background-color: #dddddd;
    padding-left: 5px;
    padding-right: 10px;
}

u {
    color: green;
}

pre {
    margin: 2px;
    font-family: Courier, sans-serif;
    /* Change font family */
    font-size: 13px;
    /* Change font size */
    color: #006600;
    /* Change text color */
    background-color: #f0f0f0;
    /* Add background color */
    padding: 5px;
    /* Add padding */
    border: 1px solid #ccc;
    /* Add border */
    text-align: left;
    /* Left align text */
    white-space: pre-wrap;
    /* Preserve whitespace and wrap text */
}