/*** BASICS ***/

.hide { display: none; }


/*** BASICS ***/

* { line-height: 1.7em; text-align: justify; }

body { font-family: Bitstream Vera Serif, Georgia, serif; }
body { margin: 0; font-size: 12px; background-image: url(/common/background.png); }

a { text-decoration: none; font-weight: bold; color: #23ab23; background: transparent; }
a:hover { text-decoration: underline; }


/*** HEADINGS ***/

h1, h2, h3, h4, h5, h6 { line-height: 1.5em; }
h2, h3, h4, h5 { margin: 0.5em 0 0 0; }

h2, h4 { font-weight: bold; }
h2, h3, h4 { font-style: normal; }
h3, h5 { font-weight: normal; }

h1 { font-size: 160%; letter-spacing: 0.3em; text-transform: none; font-variant: small-caps; text-align: center;
margin: 0; padding-top: 0.5em; }
h2 { font-size: 180%; /* margin: 0; padding: 0.3em 0 0 0; */ border-bottom: 1px solid #777; }
h3 { font-size: 140%; }
h4 { font-size: 100%; }
h5 { font-size: 100%; font-style: italic; }


/*** LAYOUT ***/

/* #header { border-bottom: 1px solid #000; background-color: white; } */

#contexts { position: absolute; width: 13%; right: 5%; padding: 0.5em; }

#content { width: 70%; max-width: 58em; /* min-width: 25em; */ }
#content { margin: 0 0 0 5%; padding: 0 1em 0 1em; margin-top: 2em; }

#footer { padding: 0.5em; margin: 2em 0 2em 0;  }
#footer { font-size: 90%; text-align: center; }
/*#footer {background-color: white; border-top: 1px solid black; }*/


/*** STYLING ***/

/** search box **/

#search { width: 35em; margin: 0 auto; padding-top: 0.5em; }
#search { text-align: center; border-top: 1px solid black; }
#search, #search * { font-family: Bitstream Vera Serif, Georgia, serif; font-size: smaller; }

#search-text { width: 10em; }

#search-submit { border: 1px dotted grey; background-color: white; }
#search-submit:hover { border: 1px solid black; }

/** contexts **/

#contexts { background-color: white; border: 1px solid grey; font-size: 90%;  }
.context em { font-style: normal; font-weight: bold; display: block; text-align: left; }
.context { text-align: right; display: block; margin-bottom: 1em; }
.context:last-child { margin-bottom: 0; }

/** content **/

#content { border: 1px solid #777; background-color: white; }

#content p { padding: 0.7em 0; margin: 0; }
#content li p { text-indent: 0; }

#content code { font-size: 90%; }
#content ul { list-style-type: square; margin-top: 0.5em; }

#content hr { width: 100%; border: none; border-top: 1px dashed black; }

#content dt { font-weight: bold; }
#content dd ul { padding-left: 0; margin-left: 0; }