a.l:target {
  background-color: lightpink;
}
/* if you want to center the headings, uncomment this block.
.desc {
 text-align: center;
 margin-left: auto;
 margin-right: auto;
}
*/
.c { /* comment */
 font-style: italic;
 font-weight: bold;
}
.v { /* verb */
 color: darkred;
}
.s { /* string */
 color: purple;
}
.i { /* include */
 color: blue;
}
.m {
 background-color: lightgreen;
}
a.m {
 background-color: lightblue;
}
ul {
 margin: 0px 0px 0px 1em;
}
.l { /* line */
 font-style: normal;
 font-weight: normal;
 text-decoration: none;
 color: gray;
}
img.icon {
 max-width: 128px;
 margin: 2px;
}
img.icon:hover {
 float: right;
 max-width: inherit;
 border: 1px solid black;
 margin: 1px;
}