@charset "UTF-8";
@import url("print.css") print;
@media screen, projection {
html {
    background: rgb(250,250,250);
    color: black;
/*
  background-image: url('drawing.png');c
  background-repeat: repeat-x;
  background-attachment: scroll;
  background-position: top left;
 */
    font-size: 95%;
}
/*
  @font-face {
  font-family: DroidSerif;
  src: url(http://capitolini.net/rsc/DroidSerif-Regular.ttf);
  }
  @font-face {
  font-family: DroidSerif;
  src: url(http://capitolini.net/rsc/DroidSerif-Bold.ttf);
  font-weight: bold;
  }
  @font-face {
  font-family: DroidSerif;
  src: url(http://capitolini.net/rsc/DroidSerif-Italic.ttf);
  font-style: italic;
  }
  @font-face {
  font-family: DroidSerif;
  src: url(http://capitolini.net/rsc/DroidSerif-BoldItalic.ttf);
  font-weight: bold;
  font-style: italic;
  }
 */
body {
    font-family: Droid Serif, Liberation, Junicode, Libertine, Palatino, Georgia, serif;
    line-height:1.6em;
}
.indicator {
    color: rgb(128,000,000);
    font-style: italic;
    font-weight: bold;
    font-size: 90%;
}
#timeline {
    overflow: scroll;
    padding-top: 4em;
    padding-bottom: 4em;
    overflow-y: hidden;
}
#timeline td {
    width: 1em;
    text-align:center;
}
.barcode {
    width: 6em;
    height: 7em;
}
a {
    color:black;
}
h1, h2, h3 {
    font-weight: bold;
    letter-spacing: 0.1em;
}
h1 {
    font-size: 130%;
    font-style: italic;
}
h2 {
    font-size: 120%;
    margin-top: 2.5em;
    margin-bottom: 1em;
}
h3 {
    font-size: 115%;
    margin-top: 2em;
    margin-bottom: 1em;
}
h4 {
    font-size: 110%;
    margin-top: 1.5em;
    margin-bottom: 0.5em;
}
h1:first-child {
    margin-top: 0;
}
p, dd, dt {
    font-size: 100%;
/*
  text-indent: 1em;
  -moz-column-count: 2;
  -moz-column-gap: 2em;
 */
}
dt {
    font-style: italic;
}
dd {
    margin-bottom: 1em;
}
.admon, .admon-login {
    padding: 0.2em;
    color: black;
    background-color: rgb(230,200,200);
    border: 1px dotted black;
    position: absolute;
    bottom: 5%;
    left: 25%;
    display:compact;
    padding: 1em;
}
.code {
    font-family: monospace, fixed;
    font-size: 90%;
    line-height: 125%;
    padding-top: 0;
    padding-bottom: 0;
    margin-top: 0;
    margin-bottom: 0;
    color: blue;
    background-color: rgb(230,230,230);
    white-space: nowrap;
}
.popup {
    font-size: 80%;
    line-height: 90%;
    color: rgb(160,010,010);
    background-color: rgb(230,230,230);
    padding: 1px;
    white-space: nowrap;
}
.popup:hover {
    font-size: 90%;
    z-index: 200;
    background-color: rgb(160,010,010);
    color: rgb(230,230,230);
}
.float-right {
    border: thin solid gray;
    outline: thick solid lightgray;
    margin-left: 4em;
    margin-bottom: 1em;
    margin-top: 1em;
    margin-right: 1em;
    float: right;
}
.rss, .rss img {
    float: right;
    border: none;
    margin-right: 1.5em;
}
img.small {
    margin-right: 2em;
    margin-bottom: 1em;
    vertical-align: center;
    padding: 0.5em;
    background-color: rgb(200,200,200);
}
img.xmp {
    margin-top: 0.5em;
    margin-right: 1em;
    padding: 0.5em;
    background-color: rgb(200,200,200);
}
.float-right {
    float: right;
    vertical-align: top;
    margin-left: 2em;
    margin-top: 0.5em;
}
.comment {
    text-align: right;
    float: right;
    width: 10em;
    margin-right: 2em;
}
blockquote {
    border: 1px dotted gray;
    margin-left: 0;
    margin-right: 0.5em;
    padding-left: 1em;
    padding-right: 1em;
}
.window {
    border: 1px dotted gray;
    padding-left: 2em;
    padding-top: 1em;
    margin-right: 2em;
    background-color: rgb(230,230,230);
}
.phrase-link {
    padding-left: 4px;
    padding-right: 4px;
    margin-right: 2px;
    background-color: rgb(235,235,230);
    border-left: 3px solid rgb(170,010,000);
    border-top: 3px solid rgb(170,010,000);
    color: rgb(35,35,30);
}
em {
    font-weight: bold;
}
.remark {
    font-style: italic;
}
.foliation {
    line-height: 1.5em;
    font-size: 80%;
    background-color: rgb(235,235,235);
    display:block;
    text-align:right;
    border-top: 1px dashed gray;
    padding-right: 1em;
}
.marginalia {
    float: right;
    font-style:italic;
    line-height: 1em;
    color: rgb(200,090,000);
    margin-left: 1.5em;
    margin-top: 0.4em;
}
.image-map {
    border: 1px dashed gray;
    background-color: rgb(225,225,225);
    padding: 1em;
}
.inscription {
    border: 1px dotted gray;
    margin-right: 25%;
    padding-left: 1em;
    padding-right: 1em;
    letter-spacing: 0.1em;
}
td, th {
    padding-right: 1ex;
    vertical-align: top;
    text-align: left;
}
table {
    width: 95%;
    margin: 0;
    padding: 0;
    table-layout:auto;
}
.narrow {
    width: 40%;
}
/*
  .notabene {
  width: 25%;
  position: absolute;
  bottom: 4em;
  border: 1px outset gray;
  background-color: rgb(230,230,230);
  padding: 1em;
  text-align: center;
  }
 */
td p {
    padding-top: 0;
    padding-bottom: 0;
    margin: 0;
}
p + p {
    margin-bottom: 0.5em;
}
td {
    vertical-align: top;
    padding-left: 0.3em;
    padding-right: 0.3em;
}
tr {
    line-height: 160%;
}
ol {
    padding-left: 1.5em;
}
ul {
    padding-left: 1em;
    list-style:circle;
}
#headline {
    position: absolute;
    border:0;
    left: 16em;
    top: 4.9em;
}
#logo {
    position: absolute;
    border: 0;
    left: 4.25em;
    top: 2.5em;
}
#vignette1 {
    display: block;
    visibility: visible;
    position: relative;
    border: 0;
    left: 3em;
    top: 1.7em;
    margin-bottom: 3em;
}
#vignette2 {
    display: block;
    visibility: visible;
    position: relative;
    border: 0;
    left: 3em;
    top: 1em;
}
#searchbar {
    text-align:right;
    position:absolute;
    right: 4em;
    top: 5.6em;
    font-size: 90%;
}
#head, #head-login {
    margin-top: 7.25em;
    margin-left: 2em;
    margin-right: 2em;
    border-bottom: 1px dotted black;
    outline: 1px solid rgb(220,220,220);
/*
  -moz-border-radius-topleft: 2em;
  -moz-border-radius-bottomleft: 2em;
 */
}
#mobilemenu {
    visibility: hidden;
    display: none;
}
#menu {
    position:absolute;
/* fixed would have been nicer, but for compatibility's sake ...' */
    width: 11em;
    left: 2em;
    top: 12em;
    bottom: 6em;
    padding-top: 1em;
/*
  border-bottom: 1px solid gray;
  border-top: 1px solid gray;
  border-right: 1px solid gray;
  -moz-border-radius-topright: 2em;
  -moz-border-radius-bottomright: 2em;
 */
    font-family: Droid Serif, Liberation, Junicode, Libertine, Palatino, Georgia, serif;
}
.login {
    width:20em;
    margin-left: 0;
    margin-top: 2em;
    width: auto;
}
hr {
    color: lightgrey;
}
input[type=submit], input[type=reset] {
    background-color:transparent;
    border: 1px solid gray;
}
input[type=submit]:hover {
    background-color: lightgrey;
}
input[type=text],
input[type=password] {
    color:black;
    padding-left: 0.5em;
    font-size: 100%;
    border: 1px solid gray;
}
input[type=text]:hover,
input[type=password]:hover {
    background-color: lightgrey;
}
/*
  a[href^="http://"]:before,
  a[href^="https://"]:before {
  content: "\2197\00A0"
  }
 */
code {
    white-space:pre-wrap;
    font-family: monospace, fixed;
    font-size: 90%;
    line-height: 80%;
    color: blue;
    background-color: rgb(230,230,230);
    white-space: nowrap;
}
img {
    border: 1px solid black;
}
legend {
    font-size:larger;
    font-weight: bold;
}
#menu a, #menu span[class=level2] {
    text-decoration: none;
    font-weight: bold;
    display:block;
    color:rgb(100,100,100);
    font-size: 90%;
/* background-image:url(grad1.png); */
}
#menu a.active, #menu a:hover {
    color: black;
}
div#menu a[rel=level1] {
    margin-bottom: 0.2em;
}
div#menu a[rel=level3] {
    margin-left: 1em;
}
div#menu a[rel=level4] {
    margin-left: 4em;
}
div#menu a[rel=level5] {
    margin-left: 6em;
}
#main a {
    text-decoration: none;
    color:inherit;
    background-color: transparent;
    font-weight: bold;
}
#index a, #toc a {
    font-weight: normal;
    margin-right: 2em;
}
#main a:hover, #main a:active {
    text-decoration: underline;
}
#main, #mainURN {
    margin-top: 5.5em;
    margin-left: 16em;
    margin-right: 2em;
    z-index: 2;
/*
  overflow-x: hidden;
  overflow-z: hidden;
 */
    line-height:1.8em;
    -moz-user-focus: normal;
    font-size: 95%;
}
/*
  .bkg-main {
  position: fixed;
  right: 0;
  top: 0;
  height: 100%;
  background-color: transparent;
  border: none;
  z-index: -1;
  }
 */
/*
  #main-bkg {
 */
/*
  position:fixed;
  top: 8em;
  left: 14em;
  bottom: 2em;
  right: 2em;
 */
/*
  margin-top: 2em;
  margin-left: 14em;
  -moz-opacity: 0.7;
  filter:alpha(opacity=70);
  background-color: rgb(250,250,250);
  z-index:1;
  -moz-border-radius-topleft: 2em;
  -moz-border-radius-bottomleft: 2em;
  }
 */
}