body {
  background: #ff66cc;
  font-family: Verdana, Arial, Helvetica, Geneva, sans-serif;
  padding-bottom: 1ex;
}

/* unique items */
#page {
  max-width:  60em;
  min-height: 300px;
  margin-left: auto;
  margin-right: auto;
  top: 0;
  bottom: 0;
}

#content {
  padding: 1em;
  background: white;
  color:      black;
}

#crumbs {
  font-size: small;
}

#footer {
  font-size: x-small;
}

/* basic HTML styles */
h1 {
  border-bottom: solid #ff66cc 2px;
  margin-top: 0;
}

h2 {
  margin-left: 1ex;
  margin-right: 1ex;
}

h3 {
  margin-left: 2ex;
  margin-right: 2ex;
}

img {
  border: 0;
  margin: 1em;
}

p, hr {
  margin-left:  2em;
  margin-right: 1em;
}

ul {
  margin-left: 1em;
}

p {
  text-align: justify;
}

p.legend {
  text-align: center;
  font-weight: bold;
  font-size: 75%;
  margin-bottom: 2em;
}

p.notes {
  font-size: x-small;
  text-indent: -2ex;
  margin-left: 5em;
  margin-right: 2em;
}

p.warning {
  border: dotted #ff66cc 2px;
  background: #eeeeee;
  padding: 1em;
}

p.abstract {
  border: dotted #aaaaaa 1px;
  padding: 0.5em;
}


.note {
  font-size: x-small;
  position: relative;
  bottom: 1em;
}

pre {
  background: #eeeeee;
  border: dotted #aaaaaa 1px;
  padding: 0.5em;
  margin-left: 2em;
  margin-right: 1em;
}

q {
  font-style: italic;
}

/* stylish classes */
.centered {
  display: block;
  margin: 1em auto 1em auto;
}

.left{
  display: block;
  float: left;
}

.right {
  display: block;
  float: right;
}

.no-margin {
  margin: 0;
}

/* layout classes */
.tabs {
  padding: 0 1em 0 1em;
}

.empty_tab {
  display: block;
  padding: 0 2px 1px 2px;
}

.tab {
  display: block;
  background: white;
  font-size: inherit;
  padding: 0 2px 1px 2px;
  margin: 0 0.5ex 0 0.5ex;
}

.highlight {
  border-bottom: solid #ff66cc 3px;
}

/* misc classes */
.red {
  color: red;
}

.green {
  color: green;
}