p>code.hljs {
    display: inline;
}

.center {
    text-align: center;
}

.red {
    color: #FF4444;
    font-weight: bold;
}

h3.exercise {
    border-left   : #ccaaff 10px solid;
    border-top    : #ccaaff 5px solid;
    border-right  : #ccaaff 1px solid;
    border-bottom : #ccaaff 1px solid;
    font-family   : Verdana,Arial,Helvetica,sans-serif;
    padding-left  : 3pt;
}

dl {
    margin-left: 30px;
}
dd {
    margin-bottom: 1em;
}

ul.spacing > li:not(:last-child) {
    margin-bottom: 1em;  
}

nav ul {
    list-style-type: none;
    justify-content: center;
    text-align: center;
}

nav li {
    position: relative;
    display: inline-block;
    background-color: #f3f3f3;
    border: 1px solid #e7e7e7;
}

nav li a:any-link {
    display: block;
    color: #666;
    padding: 12px 14px;
    text-decoration: none !important;
}

nav li a.active {
    color: white;
    background-color: #7aacf6;
}


/* Tooltip text */
nav li .tooltiptext {
    visibility: hidden;
    width: max-content;
    max-width: 300px;
    background-color: #fff;
    color: #000;
    text-align: center;
    padding: 5px 10px;
    border: 1px solid #666;
    border-radius: 5px;

    /* Position the tooltip text - see examples below! */
    position: absolute;
    z-index: 1;
    top: 100%;
    left: 50%;
    margin-left: -60px;
    /* Use half of the width (120/2 = 60), to center the tooltip */

}

/* Show the tooltip text when you mouse over the tooltip container */
nav li:hover .tooltiptext {
    visibility: visible;
}