BODY {
   background: #FFF;
   color: #000;
}
P {
   text-align: justify;
}
A {
   color: black;
   text-decoration: none;
}
A:hover {
   color: gray;
}
H1 {
   font-size: xxx-large;
   margin-bottom: 15px;
   color: #854159;
}
H2 {
   font-size: x-large;
   margin-bottom: 10px;
}
H3 {
   font-size: medium;
}
.citation{
   text-align: left;
   text-indent: -36pt;
   padding-left: 38pt;
   font-size: large;
}
.media-caption{
   text-align: left;
   text-indent: -36pt;
   padding-left: 38pt;
   margin-bottom: 10ex;
   font-size: large;
}
.media{
   padding-left: 38pt;
   margin-top: 20px;
   margin-bottom: 20px;
}

#sidebar{
   float: left;
   top: 5px;
   left: 8px;
   width: 265px;
   position: fixed;
}
#sidebar-wide{
   float: left;
   width: 460px;
   top: 5px;
   left: 8px;
   padding-left: 10px;
}
#site-menu{
   padding-left: 1em;
   border-style: ridge;
   margin: 1em;
}
#bio{
   text-align: center;
   margin: 3em 1em 1em 1em;
   border-style: ridge;
   padding: 10px;
   background: white;
}

#main{
   margin-left: 285px;
   padding-right: 15px;
   padding-top: 15px;
   height: 500px;
}
#main-with-wide-sidebar{
   margin-left: 480px;
   padding-right: 15px;
}

.writings{
   padding-left: 1em;
   padding-bottom: 40px;
}
.abstract{
   padding-left: 2em;
   margin-bottom: 0;
}
.links{
   padding-left: 2em;
   margin-top: 0;
   font-weight: bold;
}

.links A{
   text-decoration: none;
}
.large-links{
	padding-top: 15px;
	padding-bottom: 15px;
	font-size: large;
	font-weight: bold;
}
.large-links A{
	text-decoration: none;
}

#footer{
	position: fixed;
	bottom: 0;
	width: 100%;
	text-align: center;
	background-color: #FFF;
}

/*
     FILE ARCHIVED ON 07:35:48 Feb 09, 2026 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:54:09 May 25, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  capture_cache.get: 0.382
  captures_list: 0.557
  exclusion.robots: 0.042
  exclusion.robots.policy: 0.031
  esindex: 0.007
  cdx.remote: 24.043
  LoadShardBlock: 410.617 (3)
  PetaboxLoader3.datanode: 397.891 (5)
  PetaboxLoader3.resolve: 1124.846 (4)
  load_resource: 1327.575 (2)
*/