body {
	/*background-color: #4174d9;*/
	background-color: #faebd7;
  color:yellow;
  width:100%;
  height:10%;
  text-align: center;
  text-shadow: 1px 1px;
  margin: auto;
}
header {
	background-color: #4174d9;
  color:yellow;
	font-family: "papyrus";
  width:100%;
  height:10%;
  text-align: center;
  text-shadow: 1px 1px;
  margin: auto;
}
#dispTime {
   text-align: right;
   font-size: 15px;
   text-shadow: 0px 0px;
}
nav {
	background-color: #4174d9;
	color: yellow;
	font-family: "papyrus";
	width:100%;
	font-size: xx-large;
	text-align: center;
	margin: auto;
	border: 0px #4169E1;
  text-decoration: none;:
}
main {
	background-color:#faebd7;
	color: yellow;
	font-family: "georgia";
	width:100%;
	height:100%;
	text-align: center;
	margin: auto;
	border: 0px solid black;
}
h1 {
   background-color: #4174d9;
	 color: yellow;
	 font-family: "papyrus";
   text-align: center;
	 font-size: xx-large;
}
p {
   background-color: #faebd7;
	 color: black;
	 font-family: "Georgia";
   text-align: center;
	 font-size: xx-large;
}

/*p:hover {
background-color: black;
	 color: yellow;
   text-align: center;
	 font-size: xx-large;
}*/

#list {
  /*font-family: "Georgia", Arial, Helvetica, sans-serif;*/
	font-family: "Georgia";
  border-collapse: collapse;
  width: 100%;
}

#list td, #list th {
  border: 1px solid #4174d9;
  padding: 8px;
	text-decoration: none;
}

#list tr:nth-child(even){background-color: #4174d9;}
#list tr:nth-child(odd){background-color: #4174d9;}

#list tr:hover {background-color: #ddd;}

#list th {
  padding-top: 12px;
  padding-bottom: 12px;
  text-align: left;
  background-color: darkblue;
  color: yellow;
}

.pfooter {
   background-color: #faebd7;
	 color: black;
	 font-family: "Georgia";
   text-align: center;
	 font-size: small;
}

/*
.pfooter:hover {
background-color: black;
	 color: yellow;
   text-align: center;
	 font-size: xx-large;
}
*/

img {
  /*- position: relative;*/
  float: center;
	width:100%;
	}

.button {
   background-color: black;
   border: none;
   box-shadow: 5px 5px #888888;
   color: yellow;
   padding: 8px 10px;
   text-align: center;
   text-decoration: none;
   display: inline-block;
   border-radius: 15px;
   font-size: 12px;
   margin: 4px 2px;
  -webkit-transition-duration: 0.6s;
   cursor: pointer;
}
.button:hover {
	background-color: black;
	color: yellow;
}
a {
 /*background-color: #4169E1;*/
 background-color: #4174d9;
 font-size: xx-large;
 color: yellow;
 text-decoration: none;
}
a:link {
  color: yellow;
	font-size: xx-large;
	background-color: #4174d9:
  text-decoration: none;
	}
a:visited {
  color: yellow;
	font-size: xx-large;
	background-color: #4174d9
  text-decoration: none;
}
a:hover {
  color: yellow;
	font-size: xx-large;
  background-color: black;
  text-decoration: none;
}

/*
.article {
	font-size: xx-large;
	font-family: "papyrus";
}
*/

.prenex {
  color: black;
	font-family: "Georgia";
	background-color: #faebd7;
	font-size: xx-large;
	text-align: center;
  /*height: 20%;*/
  /*border: 0px solid #4174d9;*/
	/*border-radius: 15px;*/
/*	padding: 2px 3px;*/
/*	box-shadow: 3px 3px #888888;*/
	width:100%;
	margin:auto;
}
.backButton {
	background-color: #4174d9;
  border-radius: 15px;
  padding: 4px 5px;
  box-shadow: 3px 3px #888888;
  text-align: left;
	font-size: x-large;
  color: yellow;
}
.backButton:hover {
  background-color: black;
  border-radius: 15px;
  padding: 8px 10px;
  text-align: left;
  color: yellow;
	text-decoration: none;
}
.homeButton {
  background-color: #4174d9;
  border-radius: 15px;
  padding: 4px 5px;
  box-shadow: 3px 3px #888888;
  text-align: left;
	font-size: x-large;
  color: yellow;
}
.homeButton:hover {
  background-color: black;
  border-radius: 15px;
  padding: 8px 10px;
	box-shadow: 3px 3px #888888;
  text-align: left;
  font-size: x-large;
	color: yellow;
}
.forwardButton {
	background-color: #4174d9;
  border-radius: 15px;
  padding: 4px 5px;
  box-shadow: 3px 3px #888888;
  text-align: left;
	font-size: x-large;
  color: yellow;
}
.forwardButton:hover {
  background-color: black;
  border-radius: 15px;
  padding: 8px 10px;
  text-align: right;
  color: yellow;
}
footer {
  background-color: #faebd7;
  color:black;
	font-family: "Georgia";
  text-align: center;
  margin:auto;
}
/*footer:hover {
  background-color: black;
  color: yellow;
	font-family: "papyrus";
  padding: 8px 10px;
  text-align: center;
 -webkit-transition-duration: 1s;
}*/
