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

div.content {
  z-index: 1;
  padding: 0pt;
  margin: 0pt;
}

div.head {
  padding-left: 0pt;
  margin-top: 0pt;
  margin-bottom: 0pt;
  padding-top: 2pt;
  padding-bottom: 0px;
}

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


div.main {
  padding: 1ex;
  border-style: solid none solid none;
  border-width: 1.5pt;
  border-color: DimGrey;
  width: 100%;
  padding-left: 0pt;
  padding-right: 0pt;
  background: white;
  padding-top: 1.5em;
 }

div.links {
  padding-top: 1.5ex;
  padding-left: 1ex;
  font-size: large;
  font-family: sans-serif;
  letter-spacing: 0.1ex;
  font-weight: normal;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-bottom: 0.5ex;
}

div.links a {
  padding-left: 1ex;
  padding-right: 1ex;
  padding-top: 0.4ex;
  padding-bottom: 2pt;
  margin-bottom: 0.2ex;
}

div.links a.current {
  color: black;
  text-decoration: none;
}

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

div.thumb {
  margin-left: 0px; margin-right: 0px;
  display: inline;
}

div.thumb a {
  color: black;
}

div.thumbs {
  text-align: left;
  margin-left: 12pt;
  margin-bottom: 12pt;
  margin-right: 12pt;
}

div.thumbs img {
  margin: 1ex;
  border-style: solid;
  border-width: 1px;
}

div.preprint {
  font-style: italic;
  padding-left: 2ex;
  padding-bottom: 0.5ex;
}

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

h1 { /*letter-spacing: 0.3ex;*/
  padding-left: 12pt;
  font-size: large;
  font-family: serif;
  text-decoration: none;
  font-weight: bold;
}

h2 { 
  letter-spacing: 0.2ex;
  padding-left: 12pt;
  font-size: medium;
}

h1.title { 
  display: none;
}

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

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

p.lastmodified { font-style: oblique; font-size: small; text-align: right }

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

p.comment {
  font-size: small;
  margin-top: 0px;
  margin-left: 2em;
  border-style: none;
  margin-bottom: 0.3ex;
}

p.copyrightnotice {
  font-size: x-small;
  border-top: solid;
  border-width: 1px;
  padding-top: 1ex;
  margin-top: 18pt;
  color: #444;
}


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

ul ul {
  margin-bottom: 0pt;
}

span.author { }
span.booktitle { font-style: oblique }
span.dateread { font-size: small }
span.ranta { font-weight: bold }
span.date { font-size: small }

img.float {
  float: right;
  border: solid;
  border-width: 1px;
  margin: 2em;
}

address {
  font-style: normal;
  margin-left: 2em;
}

/* dd { text-align: justify } */