a:hover {color:blue;font-weight:bold;}
a:link {color:black;text-decoration:none;}
a:visited {color:blue;}
a:active {color:red;font-weight:bold;}
body {
  background-color: rgb(248, 248, 255);
  margin-left: 1em;
}
h1 {
  margin-top: 0px;
  margin-bottom: 2px;
}
h1 > span:nth-of-type(1) {
  font-size: small;
}
h1 > span:nth-of-type(2) {
  font-size: x-large;
  padding: 0px 10px;
  text-shadow: 1px 1px 0px lightgrey, 3px 1px 5px blue;
}
p {
  margin-top: 0px;
  margin-bottom: 0px;
}
ol {
/*  margin-top: 0px; */
  margin-bottom: 0px;
}
li > a::after {
  content: " " url("figures/explanation.png") "";
}