/*! You let a backend developer develop a style sheet? Here's what you get. */
@font-face{
  font-family:Vera;
  font-style:normal;
  font-weight:normal;
  src:url(/fonts/Vera.woff);
}
@font-face{
  font-family:VeraBd;
  font-style:normal;
  font-weight:bold;
  src:url(/fonts/VeraBd.woff);
}
@font-face{
  font-family:VeraIt;
  font-style:italic;
  font-weight:normal;
  src:url(/fonts/VeraIt.woff);
}
@font-face{
  font-family:VeraBI;
  font-style:italic;
  font-weight:bold;
  src:url(/fonts/VeraBI.woff);
}
@font-face{
  font-family:VeraM;
  font-style:normal;
  font-weight:normal;
  src:url(/fonts/VeraMono.woff);
}
body,blockquote,hr,dl,dd,ol,ul,figure{
  margin:0;
  padding:0;
  background-color:#fff;
  color:#101000;
  font-family:Vera,sans-serif;
}
p,ul,ol{
  padding:0;
  background-color:#fff;
  font-family:Vera,sans-serif;
  margin:1.5ex 0 1ex 0;
}
p.weak, ul.weak, ol.weak, span.weak{
  font-size:80%;
}
.strong {
  font-family:VeraBd,sans-serif;
}
p.admonition{
  background-color:#fffaa0;
  padding:1ex 1em 1ex 1em;
  text-align:center;
}
h1,h2,h3,h4,h5,h6{
  padding:0;
  background-color:#fff;
  margin:1.5ex 0 0ex 0;
  font-family:VeraBd,sans-serif;
}
body h1{
  font-size:207%;
  text-align:center;
}
body h2{
  font-size:144%;
}
body h3{
  font-size:120%;
}
body h4{
  font-size:100%;
}
pre{
  margin:0;
  padding:0;
  background-color:#fff;
  color:#503010;
  font-family:VeraM,monospace;
}
body{
  margin:3em 2em 4em 2em;
}
body strong{
  font-family:VeraBd,sans-serif;
}
body a{
  color:#3030a0;
}
body blockquote{
  color:#503010;
}
body blockquote p,body blockquote ul,body blockquote ol{
  margin:1.5ex 2em 1ex 2em;
}
body li{
  margin:0 0 1ex 2em;
}
body li p+p{
  margin:.5ex 0 0 0;
}
body em{
  font-family:VeraIt,sans-serif;
}
body code{
  font-family:VeraM,monospace;
  color:#503010;
}
body address{
  text-align:center;
  font-family:VeraIt,sans-serif;
  font-size:2ex;
  margin:7ex 0 0 0;
}
table td{
  padding:0em 1ex 0em 1ex;
}
table th{
  font-weight:bold;padding:0em 1ex 0em 1ex;
}
body footer.legal{
  color:#808080;
  margin-top:3em;
}
body footer.legal p,body footer.legal ul,body footer.legal ol{
  font-size:80%;
}
body footer.legal h2{
  font-size:115%;
}
body footer.legal h3{
  font-size:96%;
}
body footer.legal  h4{
  font-size:80%;
}