html body {
    margin: 0;
    height: 100vh;
    width: 100vw;
    overflow: hidden;
    color: var(--text-color)
}

a {
    text-decoration: none;
    color: inherit;
    font-size: small;
}

.selectContainer {
    padding-bottom: 20px;
}

div#doclist {
    display: flex;
    background-color: var(--primary-color);
    border: 1px solid var(--secondary-color);
    border-radius: 5px;
    flex-grow: 1;
    flex-direction: row;
    height: 100%;
}

#doclist div {
    padding-right: 1%;
    padding-left: 1%;
}

div#DocSelection {
    width: 20%;
    border-right: 2px var(--secondary-color) solid;
    margin-top: 10px;
    margin-bottom: 10px;

    overflow-y: auto;
    scrollbar-color: var(--secondary-color) rgba(0, 0, 0, 0);
    scrollbar-width: thin;
    
    min-width: 120px;
}

div#docMain {
    overflow: auto;
    scrollbar-color: var(--secondary-color) rgba(0, 0, 0, 0);
    scrollbar-width: thin;
}

#docMain div button {
    width: 100%;
    height: 20%;
    color: black;
    background-color: gray;
    border: none;
    font-weight: bold;
    text-align: left;
    padding-left: 3%;
    padding-top: 1%;
    padding-bottom: 1%;
    font-size: 15px;
    font-family: "Arial";
}

#doclist div button:hover {
    background-color: var(--secondary-color);
    /*border: solid 1px var(--primary-color);*/
}

#enonce .pre,
#docMain .pre {
    flex-grow: 1;
    padding: 10px;
    overflow-x: auto;
    white-space: pre;
    margin-top: 3px;
    margin-bottom: 3px;
    font-family: monospace;
}

#enonce{
    flex-grow: 1;
    padding:10px;
    overflow-x: auto;
    margin-top: 3px;
    margin-bottom: 3px;
    font-family: Verdana;
}

#enonce h3{
    text-decoration: underline solid;
}

#enonce .code,
#docMain .code {
    background-color: var(--background-color);
    border: solid 1px gray;
    border-radius: 5px;
    padding: 1px;
    margin-right: 2px;
    margin-left: 2px;
}

#openDoc {
    position: absolute;
    width: 100%;
    align-self: end;
    align-items: end;
    display: flex;
    height: 40px;
    flex-direction: column;
}

#openDoc a {
    margin: 5px;
}

#openDoc a i {
    font-size: large;
}

i.code {
    font-family: monospace;
}

#doclist {
    font-family: Verdana;
}

.copy-container{
    padding: 0px !important;
    display: flex;
}

.bi-copy{
    align-self: center;
    font-size: large;
    padding-left: 0.4em;
    padding-right: 0.4em;
    padding-top: 0.3em;
    padding-bottom: 0.4em;
}

.bi-copy:hover{
    background-color: rgba(128, 128, 128, 0.5);
    border-radius: 5px;
    cursor: pointer;
}

.bi-check2{
    color: rgb(33, 176, 95);
    align-self: center;
    font-size: large;
    padding-left: 0.4em;
    padding-right: 0.4em;
    padding-top: 0.3em;
    padding-bottom: 0.4em;
}

.bi-check2:hover{
    background-color: rgba(128, 128, 128, 0.5);
    border-radius: 5px;
}

.pre-container{
    background-color: var(--background-color);
    border: solid 1px gray;
    border-radius: 5px;
    display: flex;
    padding: 0 !important;
}

#enonce .pre-container{
    background-color: var(--background-color);
    border: solid 1px gray;
    border-radius: 5px;
    display: flex;
    padding: 0 !important;
    width: fit-content;
}