body {
    margin-left:	10%;
    margin-right:	10%;
    font-family:	Helvetica, sans-serif;
    /* font-family:	"New Century Schoolbook", Times, serif; */
    font-size:		150%;
    /* background-image:	url(back.jpg); */
    background-color:	white;
    color:		black;

}
div.quote {
    margin-left:	10%;
    margin-right:	10%;
}
div.links {
    font-family:	Helvetica, sans-serif;
    /* font-family:	"New Century Schoolbook", Times, serif; */
    font-size:		50%;
}
pre.center{
    text-align:		center;
}
h1 {
    color:		red;
    text-align:		center;
}

h2 {
    color:		blue;
}