body
{
background-image: url(background.jpg);
background-attachment:fixed;

color: #000080;
font-family: sans-serif;

}
.mainpage
{
	margin-left:3%;
	border-width: 2px;
	border-left-style:solid;
	border-color: #000080;
	padding: 10px;
	width: 80%;
}
.selected
{
	background-color: yellow;
	/* border-bottom: 2px solid yellow; */
}
.navbar
{
	background-color: #ADD8E6;
	color: blue;
	font-family: sans-serif;
	font-size: 110%;
	border-width: 1px;
	border-color: #000080;
	border-style: solid;
	padding: 4px;
}
.courses
{
	padding: 4px;
	padding-bottom: 10%;
	position: absolute;
	right: 10px;
	top: 5em;
	background-color:#FFDDDD;
}
li
{
	margin-top: 0.5em;
}
/* References page */
.quote
{
}
.citation
{
	font-style: italic;
}
.referee
{
	margin: 5px;
	border: dashed 1px;
 	border-bottom-style: none;
	padding: 5px;
	padding-left: 30px;
}
 .pagelink
 {
   border-style: solid;
   border-width: 2px;
   border-color: darkblue;
   background-color: white;
   color: black;
   padding: 5px;
   margin-left: 5px;
   font-size: 120%;
   font-style: sans-serif;
}
 .imageright
 {
   float: right;
   margin-left : 15px;
}
.styleselectors
{
  text-align: right;
  font-size: small;
}
.styleselectors a
{
  color: #CCC;
}

/* These are for the links that you use for changing background-colours */
.style1{background-color:#CCC}
.style2{background-color:#FFB}
.style3{background-color:#CFC}
.style4{background-color:#ACD}
.style0{background-color:#FFF}

.style1,
.style2,
.style3,
.style4,
.style0{
  padding: 1px;
  text-align: center;
}