/* __________________________________________ layout _____ */

body {
  margin: 20px 0 0;
}
#menu ul {
  padding: 0;
  text-transform: lowercase;
}
#search h2, search h3 {
  margin-bottom: 8px;
  background: none;
  font-size: 15px;
}

/* __________________________________________ navigation ___*/

/* __________________________________________ typography _____ */

h1, h2, h3, h4, h5, h6 {
margin: 0.5em 0;
}
h3 {
  font-size: 20px;
}
h4 {
  font-size: 17px;
}
h5 {
  font-size: 14px;
}
h6 {
  font-size: 12px;
}
h4, h5 {
  text-transform:  lowercase;
}
p, ul, ol, dt, dd, td, th {
  font-size: 11.8px;
  text-align: left;
  line-height: 150%;
}
p, ul, ol, dl {
  margin: 0.4em 0em;
}
p.annotation {
  margin-bottom: 0.5em;
  font-size: 11px;
}
dt {
/*font-weight:bold;*/
}
dd {
  margin-left: 2em;
}
pre {
  font-size: 11.6px;
}
div.citation {
  margin: 1em 3em;
  padding: 0.4em 2em 1.2em 2em;
  border: 1px solid #426061;
  font-size: 11.8px;
}
div.citation {
  margin: 0.5em 0;
}
div.author {
  margin: 0.5em 0 0;
  font-size: 11px;
  font-weight: bold;
}
div.source {
  margin: 0 0 0.5em;
  margin-bottom: 0;
  font-size: 11px;
}

/* __________________________________________ elements _____ */

#s {
  border: 1px solid #c0c0c0;
}
#sidebar h3 {
  font-size: 14px;
}
/* for screenshots */
img.image-left {
  margin-top: 0.4em;
  border: 1px solid #aaa;
}

/* __________________________________________ alignments _____ */

.image-left {
  text-align: left;
}
.align-center, .image-center {
  text-align: center;
}
.align-right, .image-right {
  text-align: right;
}
.float-left {
  float: left;
  margin-right: 1em;
  clear: none;
}
.float-right {
  float: right;
  margin-left: 1em;
  clear: none;
}

/* style is reflection */