body,h1,h2,h3,h4,h5,h6 {
  font-family:Sans-serif;
}
h1 {
  font-style:italic;
}
#gr {
  color:gray;
}
ul.r {
  margin-bottom:.2em;
  font-size:smaller;
}