body {
    background-color: cornsilk;
}

h1 {
    color: darkblue;
    font-family: verdana;
    font-size: 120%;
}

h2 {
    color: blue;
    font-family: verdana;
    font-size: 110%;
    text-decoration-line: underline;
}


p {
    color: darkblue;
    font-family: verdana;
    font-size: 100%;
    padding: 5px;
    padding-top: 2px;
    padding-bottom: 2px;
}

ul {
    color: darkblue;
    font-family: verdana;
    font-size: 100%;
    padding-top: 2px;
    padding-bottom: 0px;
    padding-left: 40px;
}

img {
    border: 1px solid darkblue;
    margin: 10px;
    padding: 10px;
    width: 600px;
}

img.prof {
    border: 0px solid darkblue;
    content: url("img/prof.jpg");
    margin: 0px;
    padding: 0px;
    width: 12px;
    height: 14px;
    object-fit: fill;
}

.data {
    border: 1px solid;
    border-spacing: 0px;
    background-color: lightgoldenrodyellow;
}
.data td {
    background-color: lightgoldenrodyellow;
    border: 1px solid;
}
.data th {
    background-color: gold;
    border: 1px solid;   
}


.code {
    background-color: antiquewhite;
    color: blue;
    border: 1px solid darkblue;
    margin: 10px;
    padding: 10px;
    width: 600px;
    font-size: 100%;
}

.music {
    font-size: 150%;
}

.caption {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    color: darkblue;
    font-size: 80%;
}

.constant {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    border: 10px solid gray;
    width: 150px;
    text-align: right;
    font-size: 120%;
}

.var {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    border: 10px solid blue;
    width: 150px;
    text-align: right;
    font-size: 120%;
}

.vargreen {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    border: 10px solid green;
    width: 150px;
    text-align: right;
    font-size: 120%;
}

.varyellow {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    border: 10px solid yellow;
    width: 150px;
    text-align: right;
    font-size: 120%;
}

.varred {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    border: 10px solid red;
    width: 150px;
    text-align: right;
    font-size: 120%;
}