/*
   Formats for standard HTML elements.
*/

body {
  margin: 0px 15% 0px 15%;
  font-family: sans-serif;
  color: black;
  background-color: white;
}

h1 {
  font-size: x-large;
  color: orange;
}

hr { 
  color: orange;
  height: 2px;
  border:1px solid orange;
}

dt {
  font-weight: bold;
  margin-top: 0.5ex;
}

/*
   Formatting of CV table.
*/

#CV {
  padding-top: 2px;
  padding-bottom: 0px;
  padding-left: 5px;
  padding-right: 5px;
}

/*
   Formatting of modification date footer.
*/

#last_modified {
  text-align: right;
}