@import "normalize.css";
* {
    font-family: Sans-Serif;
}
body {
    margin-top: 0.3em;
    margin-left: 1em;
    margin-right: 1em;
    line-height: 1.3;
}
li {
    margin-top: 0.4em;
}
dd {
    margin-top: 0.3em;
}
dt {
    margin-top: 0.6em;
    font-style: italic;
}
h1, h2, h3, h4, h5, h6 {
    font-family: Sans-Serif;
}
.tt {
    font-family: Lucida Console,Lucida Sans Typewriter,monaco,Bitstream Vera Sans Mono,monospace;
}