body{padding: 20px;background: #C8D7E3;color: #222;text-align: center;font-family: 'Gill Sans', Verdana, Helvetica, sans-serif;
font-size: 13px;}
p{margin: 0;padding: 0 10px;font-weight:normal;font-size:14px}
p2{margin: 0;padding: 0 0px;font-weight:normal;font-size:14px}
h1{margin: 0;padding: 0 10px;font-weight:normal;font-size: 21px;line-height:1;color:#FFFFFF;font-variant:small-caps}

div#bigcontainer{width:80%;margin:0px 0;padding:0px;background:#C8D7E3;float:center;}


#midcontainer {
  padding-left: 150px;   /* LC width */
}
#midcontainer .column {
  float: left;
  position: relative;
}

#righty {
  width: 100%;
}

#lefty {
  width: 150px;  /* LC width */
  margin-left: -100%;
  right: 150px;        /* LC width */
}


#drafts {
  display: none;
}

#projects {
  display: none;
}

#older {
  display: none;
}



#nonsenseabstract{
  display:none;
}

#vocababstract{
  display:none;
}

#defconabstract{
  display:none;
}

#fitchabstract{
  display:none;
}

#commonabstract{
  display:none;
}

#wakingabstract{
  display:none;
}

#agreementabstract{
  display:none;
}

#dereabstract{
  display:none;
}

#idealabstract{
  display:none;
}

#irrationalabstract{
  display:none;
}

.header{display:block}
.header *{
  display:block;
  height:1px;
  overflow:hidden;
  font-size:.01em;
  background:#00304A}
.header1{
  margin-left:3px;
  margin-right:3px;
  padding-left:1px;
  padding-right:1px;
  border-left:1px solid #6b8e9f;
  border-right:1px solid #6b8e9f;
  background:#2f596f}
.header2{
  margin-left:1px;
  margin-right:1px;
  padding-right:1px;
  padding-left:1px;
  border-left:1px solid #aac5d1;
  border-right:1px solid #aac5d1;
  background:#234f66}
.header3{
  margin-left:1px;
  margin-right:1px;
  border-left:1px solid #234f66;
  border-right:1px solid #234f66;}
.header4{
  border-left:1px solid #6b8e9f;
  border-right:1px solid #6b8e9f}
.header5{
  border-left:1px solid #2f596f;
  border-right:1px solid #2f596f}
.headerfg{
  background:#00304A;width:100%;margin:0px;padding:6px 0;text-align:right;float:center}

div#spacer{width:100%;margin: 0 auto;padding:10px;text-align:left;background:#C8D7E3;float:center}




.border{display:block}
.border *{
  display:block;
  height:1px;
  overflow:hidden;
  font-size:.01em;
  background:#00304A}
.border1{
  margin-left:3px;
  margin-right:3px;
  padding-left:1px;
  padding-right:1px;
  border-left:1px solid #6b8e9f;
  border-right:1px solid #6b8e9f;
  background:#2f596f}
.border2{
  margin-left:1px;
  margin-right:1px;
  padding-right:1px;
  padding-left:1px;
  border-left:1px solid #aac5d1;
  border-right:1px solid #aac5d1;
  background:#234f66}
.border3{
  margin-left:1px;
  margin-right:1px;
  border-left:1px solid #234f66;
  border-right:1px solid #234f66;}
.border4{
  border-left:1px solid #6b8e9f;
  border-right:1px solid #6b8e9f}
.border5{
  border-left:1px solid #2f596f;
  border-right:1px solid #2f596f}
.borderfg{
  background:#00304A; padding:0px 5px 0px 5px}



.cont{display:block}
.cont *{
  display:block;
  height:1px;
  overflow:hidden;
  font-size:.01em;
  background:#FFFFFF}
.cont1{
  margin-left:3px;
  margin-right:3px;
  padding-left:1px;
  padding-right:1px;
  border-left:1px solid #6d8997;
  border-right:1px solid #6d8997;
  background:#bfcbd1}
.cont2{
  margin-left:1px;
  margin-right:1px;
  padding-right:1px;
  padding-left:1px;
  border-left:1px solid #19445c;
  border-right:1px solid #19445c;
  background:#ced7dc}
.cont3{
  margin-left:1px;
  margin-right:1px;
  border-left:1px solid #ced7dc;
  border-right:1px solid #ced7dc;}
.cont4{
  border-left:1px solid #6d8997;
  border-right:1px solid #6d8997}
.cont5{
  border-left:1px solid #bfcbd1;
  border-right:1px solid #bfcbd1}
.contfg{
  background:#BDD6E0;padding:15px;border:0px;color:#333;background:#FFFFFF;text-align:left}











div#navcontainer{width:125px;margin: 0;padding:0px;text-align:center;background:#C8D7E3;float:left}


.nav{display:block}
.nav *{
  display:block;
  height:1px;
  overflow:hidden;
  font-size:.01em;
  background:#00304A}
.nav1{
  margin-left:3px;
  margin-right:3px;
  padding-left:1px;
  padding-right:1px;
  border-left:1px solid #6b8e9f;
  border-right:1px solid #6b8e9f;
  background:#2f596f}
.nav2{
  margin-left:1px;
  margin-right:1px;
  padding-right:1px;
  padding-left:1px;
  border-left:1px solid #aac5d1;
  border-right:1px solid #aac5d1;
  background:#234f66}
.nav3{
  margin-left:1px;
  margin-right:1px;
  border-left:1px solid #234f66;
  border-right:1px solid #234f66;}
.nav4{
  border-left:1px solid #6b8e9f;
  border-right:1px solid #6b8e9f;}
.nav5{
  border-left:1px solid #2f596f;
  border-right:1px solid #2f596f;}
.navfg{
  background:#00304A;width:100%;margin:0px;padding:6px 0;text-align:center}



div .navspacer{width:100%;margin: 0 auto;padding:5px 0;text-align:left;background:#00304A;float:center
	}




a.inner  {		font: 14px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}



a.inner:link  {		font: 14px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}


a.inner:visited  {	font: 14px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}

a.inner:hover  {	font: 14px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #707070;
    			text-decoration:none;
			outline:none
}
a.inner:active  {	font: 14px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}




a#home { background-image:url(images/buttonhome.jpg); height: 35px; width:110px; display:block; margin: 0px auto;outline: none;;}
a#home span { display:none; }
a#home:hover { background-image:url(images/buttonhomehover.jpg); }


a#contact { background-image:url(images/buttoncontact.jpg); height: 35px; width:110px; display:block; margin: 0px auto;outline: none;}
a#contact span { display:none; }
a#contact:hover { background-image:url(images/buttoncontacthover.jpg); }


a#papers { background-image:url(images/buttonpapers.jpg); height: 35px; width:110px; display:block; margin: 0px auto;outline: none;}
a#papers span { display:none; }
a#papers:hover { background-image:url(images/buttonpapershover.jpg); }


a#courses { background-image:url(images/buttoncourses.jpg); height: 35px; width:110px; display:block; margin: 0px auto;outline: none;}
a#courses span { display:none; }
a#courses:hover { background-image:url(images/buttoncourseshover.jpg); }

a#cv { background-image:url(images/buttoncv.jpg); height: 35px; width:110px; display:block; margin: 0px auto;outline: none;}
a#cv span { display:none; }
a#cv:hover { background-image:url(images/buttoncvhover.jpg); }





li {
  margin-top: 10px;
  color: 00304A;
  font-size: 14px;
}

a.heading	{	font: 18px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #00304A;
    			text-decoration:none;
			outline:none

}

a.heading:link  {	font: 18px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #00304A;
    			text-decoration:none;
			outline:none
}


a.heading:visited  {	font: 18px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #00304A;
    			text-decoration:none;
			outline:none
}

a.heading:hover  {	font: 18px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #00c1c8;
    			text-decoration:none;
			outline:none
}

a.heading:active  {	font: 18px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #00c1c8;
    			text-decoration:none;
			outline:none
}



a.abstract  {		font: 12px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}



a.abstract:link  {	font: 12px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}


a.abstract:visited  {	font: 12px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}

a.abstract:hover  {	font: 12px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #707070;
    			text-decoration:none;
			outline:none
}
a.abstract:active  {	font: 12px Gill Sans, Verdana, Helvetica, sans-serif; 
			color: #0066FF;
    			text-decoration:none;
			outline:none
}