/** dull
#554444
#996633
#ddaa33
#bbbbbb
#6677aa
**/
/** vibrant
#775555
#ee8822
#ffdd55
#eeeeee
#8899dd
**/
body {
  font-family: Georgia, "Times New Roman",
        Times, serif;
  color: #8899dd;
  background-color: #ffdd55 }

h1 {
    border : 0.1em double;
    padding : 0.2em;
    text-align : center;
    margin-left: 6em;
    margin-right: 6em;
    letter-spacing: 0.4em;
    font: bold
}

h2 {
    text-align : center;
    font-size : 1.2em
}

div {
    text-align : center;
    margin-top : 1em;
    margin-left : 3em;
    margin-right : 3em
}

div#main {
    font-size : 1.5em
}

div#body {
    border : dotted;
    font-size : 0.8em;
    padding-top : 8em;
    padding-bottom : 8em;
    padding-left : 5em;
    padding-right : 5em
}