@ -45,8 +45,8 @@ hr {
font-size: smaller;
}
.highlight {
padding: 1em;
background-color: rgb(255, 192, 203, 0.4);
padding: 0.5em;
background-color: rgb(255, 192, 203, 0.8);
.magic {
margin-top: 2em;