* {
    margin: 0;
    padding: 0;
}
  
body {
    font-family: Arial, sans-serif;
    margin: 0;
    padding: 0;
}

p{
    text-justify: auto;
    font-size: large;
}

h3 {
    font-size: xx-large;
    padding-bottom: 15px;
}

code[class*="command-line"], pre[class*="command-line"] {
    font-size: 20px !important;
    line-height: 0.9;
}

code[class*="language-javascript"], pre[class*="language-javascript"] {
    font-size: 15px !important;
    line-height: 0.9;
}

code[class*="language-treeview"], pre[class*="language-treeview"] {
    font-size: 15px !important;
    line-height: 0.9;
}

code[class*="language-json"], pre[class*="language-json"] {
    font-size: 15px !important;
    line-height: 0.9;
}

/*pre.line-numbers > code {
    font-size: 14px !important;
    line-height: 1.5;
}

code > span {
    font-size: 14px !important;
    line-height: 1.5;
}
code[class*="language-"], pre[class*="language-"] {
    font-size: 0.9em !important;
    line-height: 0.9;
}

code > span {
    font-size: 0.7em;
    padding: 0;
    margin: 0;
    line-height: 1.1;
    
}*/


ul {
    margin-left: 20px;
}

li{
    text-justify: auto;
    font-size: large;
}


.ulmenu {
    list-style-type: none
}

.ulmenu > li > a {
    font-size: 18px;
}


.sidenav {
    height: 100%;
    width: 220px;
    position: fixed;
    z-index: 1;
    top: 0;
    left: 0;
    background-color: #d9d8d8;
    overflow-x: hidden;
    padding-top: 20px;
    padding: 20px;
}
  
.sidenav a {
    padding: 10px 8px 6px 8px;
    text-decoration: none;
    font-size: 22px;
    color: #555555;
    display: block;
}
  
.sidenav a:hover {
    color: #f1f1f1;
}

@media screen and (max-height: 450px) {
    .sidenav {padding-top: 15px;}
    .sidenav a {font-size: 18px;}
}

.main {
    font-size: 28px; /* Increased text to enable scrolling */
    padding: 10px 10px;
}


.content {
    margin-left: 60px; /* Same as the width of the sidenav */
    font-size: 28px; /* Increased text to enable scrolling */
    padding: 30px 60px 30px 260px;
}


/*.container {
    display: flex;
}*/

.sidebar {
    background-color: #f1f1f1;
    padding: 20px;
    width: 200px;
}

.sidebar h2 {
    margin-top: 0;
}




pre {
    background-color: #f5f5f5;
    padding: 10px;
    border-radius: 5px;
    overflow-x: auto;
}

code {
    font-family: Consolas, monospace;
}

.highlight {
    background-color: yellow;
    font-weight: bold;
    border-radius: 3px;
    padding: 2px 4px;
}


