html, body {
  margin: 0px;
  padding: 0px;
  font-size: 18px;
  font-family: "Georgia", "Trebuchet MS", "Helvetica Charcoal",sans-serif
  line-height: 1.6em;
/*
  font-family: Trebuchet MS,Helvetica Charcoal,sans-serif
  font-family: "Lucida Grande", Arial, Helvetica, sans-serif;
  font-family: calibri, tahoma, arial, sans-serif;
*/
}
h1, h2, h3, h4 {
  font-family: 'Myriad Pro','Droid Serif','Georgia',serif;
  font-weight: normal;
}
/*
h2 { font-size: 20px; }
h3 { font-size: 18px; }
*/
h4 {
  font-size: 16px;
  margin: 0px;
  padding: 0px;
}

tt, pre.code {
  background-color: #D6D6D6;
}
pre.code {
  margin-left: 30px;
}

a { text-decoration: none; }
a:hover { text-decoration: underline; }
legend a { color: black; }
a img, br {
  border: 0px;
  margin: 0px;
  padding: 0px;
}

#main-div {
  width: 1000px;
  margin-bottom:0;
  margin-left:auto;
  margin-right:auto;
  margin-top:20px;
}

#content {
  margin-top: 20px;
  margin-left: 270px;
  min-width: 700px;
  max-width: 700px;
}
/**** Top/Left Navigation Bar ****/
#top-nav {
  text-align: center;
  font-size: 24px;
  height: 34px;
  border-bottom: 2px solid black;
}
#left-nav-bar {
  width: 220px;
  padding: 10px;
  position: absolute;
  left: 0px;
  top: 30px;
  font-size: 15px;
}
#left-nav-bar a {
  display: block;
}
#left-nav-bar fieldset {
  margin-top: 20px;
}

/**** Navigation Bar ****/
#nav-bar {
  width: 100%;
  border-top: 3px solid black;
  border-bottom: 3px solid black;
}

.nav-option {
  border-right: 3px solid black;
  float: left;
  padding: 7px;
  text-decoration: none;
  color: black;
  font-size: 18px;
}

.nav-option.selected {
  background-color: red;
}

.nav-option:link, .nav-option:visited {
  color: black;
}

.nav-option:hover {
  color: red;
}

/**** Blog Entries ****/
.headline {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0px;
  margin-bottom: 20px;
}
.headline .title {
  font-size: 24px;
}
.headline .date {
  font-color: gray;
  margin-left: 20px;
}

/**** Specific Pages ****/
#past_work_table td {
  border: 1px solid gray;
  padding: 5px;
}

#virgin { width: 900px; }
#virgin img {
  border: 1px solid red;
  margin: 5px;
}

/*
     FILE ARCHIVED ON 20:08:27 Apr 16, 2019 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 14:13:03 Nov 05, 2019.
     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):
  exclusion.robots.policy: 0.169
  captures_list: 141.717
  load_resource: 323.223
  RedisCDXSource: 45.421
  exclusion.robots: 0.183
  PetaboxLoader3.datanode: 131.575 (5)
  PetaboxLoader3.resolve: 199.485 (2)
  CDXLines.iter: 13.498 (3)
  LoadShardBlock: 79.236 (3)
  esindex: 0.013
*/