body {
    background: rgb(255,224,216);
    color: black;
}

a {
   color: rgb(176, 40, 40);
}

a:visited {
   color: rgb(160, 144, 144);
}

a:hover {
   color: rgb(128, 128, 128);
}

h1 {
   font-size: 170%;
   text-align: center;
   font-family: times;
}

h2 {
   font-size: 110%;
   text-align: left;
   text-align: center;
   font-family: times;
}

/* Make definition lists less ugly (borrowed from Calle) */

dl {
    border: thin rgb(192,192,192) solid;
    margin-left: 10%;
    padding: 1em;
    width: 70%;
}

dt {
    font-weight: bolder;
}

dd {
    margin-bottom: 2ex;
}