BODY  { 
  font-family: sans-serif;
  background: #f7f7f7;
  color: black;
}

div.content {
  max-width: 90ex;
  margin-left: auto;
  margin-right: auto;
}

div.main {
  padding: 1ex;
  border-style: solid none solid none;
  border-width: 1px;
  border-color: black;
  background: white;
}

div.name {
  font-variant: small-caps;
  letter-spacing: normal;
  display: inline;
  margin-right: 0pt;
}

div.head {
  padding-left: 0pt;
  font-size: large;
  letter-spacing: 0.3ex;
  margin-top: 0pt;
  margin-bottom: 0pt;
  padding-top: 2pt;
  padding-bottom: 0pt;
}

h1 { letter-spacing: 0.3ex;
  padding-left: 12pt;
  font-size: large;
  text-decoration: none;
  font-weight: normal;
}

div.head h1 {
  text-decoration: none;
  font-size: x-large;
}

div.bottom { margin-top: 1ex; }

div.bottom a { color: black; }


A { text-decoration: none; }
A:hover { text-decoration: underline; }

p { text-align: justify; margin: 12pt; }

table {margin: 12pt;}

p.linkas { font-size: small; text-align: right; }

ul {
  margin-right: 12pt;
  margin-bottom: 12pt;
}

ol {
  margin-left: 6pt;
  margin-bottom: 12pt;
}

ul ul {
  margin-bottom: 0pt;
}

div.links {
  padding-left: 1ex;
  font-size: large;
  letter-spacing: 0.3ex;
  margin-top: 0pt;
  padding-top: 2pt;
  padding-bottom: 2pt;
}

div.links a {
/*  font-weight: bold;*/
  color: black;
  padding-left: 1ex;
  padding-right: 1ex;
  border-style: solid solid none solid;
  border-color: black;
  border-width: 1px;
  padding-bottom: 2pt;
}

div.links a.current {
  color: black;
  text-decoration: none;
  border-style: solid;
  border-color: black black #eee black;
  padding-right: 1ex;
  padding-left: 1ex;
  background: #eee;
}