<style>
  /* this one takes care of the (apparently still
     extant) problem of linked stylesheets skipping
     the first entry in the stylesheet... in other
     words it's a "null" entry */
  .bugfix{
  font-size: 16px;
  }
  /* this sets the defaults for the pages */
  body{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 16px;
  color: #000000;
  /* margin-left: 64px; */
	margin-top: 15px;
	margin-right: 85px;
  }
  p{
	text-align: justify;
	}
  a{
  font-weight: bold;
  }
  .category{
	  font-size: 18px;
	}
  /* This is used for the lower nav bar */
	.smallnav{
  font-size: 12px;
  font-weight: bold;
  color: #999999;
  }
  th{
	  background: #000000;
	  color: #ffffff;  
	}
  /* this is what shrinks the copyright thing 
		 at the bottom of the page down to size */
  .cright{
  font-size: 12px;
  }
	/* the main content div... holds everything on the
	   page inside. Mainly here to move everything up
		 to the top of the browser (instead of vertically
		 centered) and to set the width for the content */
  div.content{
  vertical-align: top;
	width: 538px;
  }
	/* this puts a grey, double-lined box around whatever
			is inside the div */
  div.box{
  background-color: #ffffff;
  border-color: #cccccc;
  border-style: double;
  border-width: 5px;
  padding: 5px;
  }
</style>