body {
  font-family: sans-serif;
  font-size: 1em;
  background: #6c7b8b;
  margin-left: 2%;
  margin-right: 2%;
  margin-top: 20px;
  color: #000000;
  background-image: url('bg.png');
  background-repeat: repeat-x;
}
h1 {
  font-size: 1.8em;
  margin-top: 10px;
  text-align: left;
}
h1.title {
  font-weight: normal;
  margin: 0px;
  text-align: center;
}
h2 {
  font-size: 1.2em;
}
h3 {
  font-size: 1.1em;
}
pre {
  font-family: monospace;
  font-weight: normal;
  background-color: #f5f5f5;
  border-left: 4px solid #336699;
  padding: 3px;
  padding-left: 8px;
  padding-right: 10px;
  margin-left: 8px;
  margin-right: 10px;
  color: #000000;
  overflow: auto;
}

#resume {
  font-family: monospace;
  font-weight: normal;
  background-color: #f5f5f5;
  border-left: 4px solid #336699;
  padding: 3px;
  padding-left: 8px;
  padding-right: 10px;
  margin-left: 8px;
  margin-right: 10px;
  color: #000000;
  overflow: auto;
}

em {
  font-family: monospace;
  background-color: #efefef;
  padding-left: 1px;
  padding-right: 1px;
}

a {
  color: #4f94cd;
}
a:hover {
  color: #a4d3ee;
}
a:visited {
  color: #36648b;
}
.address {
  margin: 1px;
  text-align: center;
}
img {
  border: none;
}

p.timestamp {
  text-align: center;
  font-style: oblique;
  font-size: 0.9em;
}
p.eq {
  text-align: center;
  padding-top: 4px;
  padding-bottom: 4px;
  margin-left: 1.2in;
  margin-right: 1.2in;
}

div {
  margin: 2px;
}

p.heading {
  font-weight: bold;
}
p.centered {
  text-align: center;
}
td {
  vertical-align: top;
}
p.small {
  font-size: 0.8em;
  text-align: center;
}
td {
  padding-left: 1px;
  padding-right: 4px;
}
td.release {
  font-size: 0.8em;
  border-top: 2px solid #C0C0C0;
  text-align: right;
}

p.lang {
  padding-right: 10px;
  padding-bottom: 0px;
  text-align: right;
  font-size: 9pt;
  color: #303030;
}

#content {
  background-color: #FFFFFF;
  padding: 16px;
  border: 1px solid #336699;
  margin-top: 25px;
}

#article {
  padding: 10px;
  color: #000000;
  background-color: #FFFFFF;
  border: 1px solid #336699;
  margin-top: 25px;
}