/*  Centered H1  */
h1 {
    text-align: center;
}

/*  Increase table left and right padding  */
table th, td {
    padding-left: 0.31em;
    padding-right: 0.31em;
}

/*  Classic table border style  */
table.bordered {
    border: 1px solid gray;
}
table.bordered th {
    border: 1px solid gray;
}
table.bordered td {
    border: 1px solid gray;
}

/*  Single line  */
table.single {
    border-collapse: collapse;
}

table.single td {
    padding-top: 0.25em;
    padding-bottom: 0.25em;
}

/*  Pre scoll bar  */
pre {
    overflow: auto;
}

/*  Pre backgound grey  */
pre.grey {
    background-color: #eeeeee;
}

/*  Pre backgound pale violet  */
pre.text {
    background-color: #eeeeff;
}

/*  Separate menu and main div  */
div.menu {
    position: fixed;
    width: 18%;
    height: 100%;
    overflow: auto;
    hyphens: auto;
}

div.main {
    margin-left: 20%
}