body {
 color: white;
 background-image:url(bluestars.jpg) }
 background-color: navy;
 font-family: utopia, palatino, "-*-utopia-*-*-*-*-*-*-*-*-*-*-*-*", "Lucida Bright", serif;
}

a { color: yellow; }
a:link { color: yellow; }
a:visited { color: rgb(85%, 85%, 50%); }
a:active { color: purple; }
a:hover { color: red; text-decoration: underline; }

h1 { text-align: center; }
h2 { font-weight: bolder; }
h3 { font-style: oblique; font-weight: normal; font-size: larger; }

img {
 border-width: 1;
 border-style: outset;
 float: none;
 clear: none;
}

img.noborder { border-width: 0; }

p { text-indent: 1em; }

hr { width: 50%; }

ul { list-style-image: url(stern.png); }


.small { font-size: smaller; }
.large { font-size: larger; }
.important { color: pink; }
.remark { color: silver; font-size: smaller; }
.centred {   /* kind of a hack since it combines text and box stuff */
 text-align: center;
 margin-left: auto; margin-right: auto;
}