body {
  margin:0;
  padding: 2em;
  font-family: arial, verdana, "trebuchet ms", trebuchet, georgia, "times new roman", sans-serif !important;
  font-size:100%;
  color: #000;
  background-color: #ffdab9;
}

h1 {
  text-align: right;
  font-size: 150%;
  border-bottom: 3px double;
  padding-bottom: 0.1em;
}

h2 {
  font-size:100%;
}

h1,
h2 { 
  font-family: "courier new", courier, serif;
  letter-spacing: 0.2em;
  color: #cd3700;
  background: transparent;
}

div#navigation,
div#content { 
  border: 4px ridge #999;
  background: #ffdab9 url("./background.gif");
}

div#navigation {
  font-family: "courier new", courier, serif;
  letter-spacing: 0.2em;
  font-weight: bold;
  float:left;
  width: 7em;
  padding:1em;
  text-align: right;
  line-height:2;
}

div#content { 
  margin-left: 11em;
  padding: 1em;
}

div#home-page { 
  height: 1%;
}

div#address-box {
  margin-top:6.5em;
  font-size:96%;
  font-family: "courier new", courier, serif;
  line-height:normal;
}

div#who-am-i {
  clear: both;
  margin-bottom: 1em;
  text-align: justify;
  line-height: 1.2;
}

ul {
  line-height:1.5;
}

div#papers ul {
  margin-top:1.5em 
}

div#papers li {
  margin-top: 0.7em;
  margin-bottom: 0;
}

div#links ul { 
  margin-top:0.5em;
  margin-bottom:0;
}

div#links h2 {
  margin-top:1em;
  margin-bottom:0;
}

div#spacer { 
  float: left;
  width: 1em;
  height: 53em;
  color:  #ffdab9;
  background:transparent;
}

img#photo { 
  float:right;
  margin: 2em 0 3em 1em;
  border: 1px solid #999;
}

div#navigation a:visited {
  color: #00f;
  background: transparent;
  text-decoration: none !important;
}

div#navigation a { 
  color: #00f;
  background: transparent;
  text-decoration: none !important;
}

a:visited {
  color: Purple;
  background: transparent;
}

a {
  color: #00f;
  background: transparent;
  text-decoration:none;
}

a:hover {
  text-decoration:underline;
}