/* CSS for Brevity */

/* Original Brevity CSS Code */

a {
	color: #004276;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a:visited {
	color: #004276;
}

/* End Original Brevity CSS Code */

/* Begin new code for Fall 2007 update */

body {
	font-family: "Georgia", "Times New Roman", times, serif;
	font-size: 13px;
	color: #000;
	line-height: 18px;
}

/* header fonts */

h1 {
  	font-weight: normal;
  	font-size: 32px;
  	line-height: 32px;
	color: #FFF;
	text-align: right;
	font-family: "Georgia", "Times New Roman", times, serif;
	}

h2 {
  	font-weight: normal;
	font-size: 18px;
	line-height: 18px;
	text-align: right;
	color: #FFF;
	font-family: "Georgia", "Times New Roman", times, serif;
	}

h3 {
	padding: 10px 0 0 0;
	line-height: 0px;
	font-size: 15px;
  	font-weight: bold;
	font-family: "Georgia", "Times New Roman", times, serif;
	}

h4 {
		padding: 0 0 0 0;
		line-height: 24px;
		font-size: 20px;
	  	font-weight: bold;
		font-family: "Georgia", "Times New Roman", times, serif;
		text-align: center;
		color: #000080;
		}

h5 {
	  	font-weight: bold;
	  	font-size: 32px;
	  	line-height: 32px;
		color: #000;
		font-family: "Georgia", "Times New Roman", times, serif;
	}

#nav {
	text-align: center;
	font-size: 13px;
}

#nav a {
	font-weight: bold;
}

ul {
	margin: 0; 
	padding: 0 0 0 0; 
	list-style: none; 
}

li {
	margin: 10;
}

/* These DIVs appear mainly on the index page */

.index-issue-number {
	font-weight: normal;
	font-size: 32px;
	line-height: 32px;
	color: #FFF;
	text-align: right;
	font-family: "Georgia", "Times New Roman", times, serif;
}

.index-descriptions {
	font-size: 13px;
}

.index-descriptions td {
	font-size: 13px;
}

.index-descriptions a {
	font-weight: bold;
}

.index-bigger {
	font-size: 15px;
}

.index-footer {
	text-align: center;
	font-size: 13px;
}

/* These following DIVs appear on the story template */

.issuenumber {
	text-align: center;
	font-size: 24px;
	font-weight: bold;
	text-align: center;
	line-height: 24px;
	font-family: "Georgia", "Times New Roman", times, serif;
	color: #000080;
}

.storytitle {
	  	font-weight: bold;
	  	font-size: 32px;
	  	line-height: 32px;
		color: #000;
		font-family: "Georgia", "Times New Roman", times, serif;
	}
	
/* end story template divs */


/* weird stuff below this point */

/* borrowed from Jon Hicks  */
/* appears to affect IE only */
/* good for accessibility */
/* resizable font values for IE */
* html body {
	font: 76%/1.6em "Georgia", "Times New Roman", times, serif;
}