* {    font-family: Arial, Helvetica, sans-serif;
  line-height: 1.2;
}


body {
    color: black;
    padding: 1em
}
%pre {font-family: monospace; }


a {text-decoration: none}  /* for unvisited links */
:link { color: rgb(0, 0, 153); background-color: none} 
:visited { color: rgb(0, 102,0); background-color: none } /* for visited links */

a.intro {text-decoration: underline}
a.intro:visited { color:#663399; background-color: none}


ul {
padding: 0em;
margin: 1em;
}
ul.new {
margin: 0;
padding: 0;
list-style-type: none;
text-align: center;
}

ul.new li { display: inline; }

ul.new li a { padding: .2em 1em; }