body {background-color:#e5e5ff; color:black}
a:link {color:blue;}
a:visited {color:green}
a:hover {color:red}
a:active {color:yellow}
a.gly[href] {text-decoration: none;font-size: 160%}
a.gly:link {color:black}
a.gly:visited {color:black}
a.gly:hover {color:red}
dt {
  margin: 0.3cm 0 0 0;
}
li {margin-bottom:0.30em;}