body {
font-size: 3em;
background-color: white;
}

span.toc {
color: red;
font-size: .3em;
}

span.h {
font-style: bold;
background-color: yellow;
}

h1 {
margin-top: 0pt;
font-size: 50pt;
text-align: center;
font-family: verdana ;
}

h2 {
text-align: center;
font-family: verdana ;
font-size: 25pt;
}

li {
  margin-top: .5em;
  list-style-type: square;
}
.grey {
color: #AAAAAA;
}

pre.v {
 font-size: 10pt;
}