body,html {
  margin-left: 12px;
}

div.main {
  margin-right: 230px;
}
div.story {
  border: 1px dashed #ccc;
  margin-top: 20px;
  padding: 4px;
  clear: both;
}

div.image-container {
  float:  right;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
}

div.image-container p {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
  margin: 2px 0px -3px 0px;
  padding: 0px;
}

div.storybody {
}

div.story .metainfo {
  margin-top: 12px;
  font-style: italic;
  font-size:  90%;
  clear:      both;
}

pre.code {
  overflow: auto;
  background-color: #c0c0c0;
  color: #336633;
  font-size: 8pt;
  margin-left: 40px;
  margin-right: 40px;
}

div#right-nav {
  position: absolute;
  right: 10px;
  top: 10px;
  background-color: #ddddee;
  border: 2px dashed gray;
  width: 210px;
  bottom: 10px;
}

div#right-nav h4.right-nav {
  margin: 10px 10px 3px 10px; 
  border-bottom: 1px dashed #333;
  font-style:  italic;
  font-family: sans-serif;
}

div#right-nav > div {
  margin: 10px 10px 10px 10px;
}

div#main-content {
  border: 1px dashed gray;
  padding: 4px;
}
div#pycalendar {
  overflow: auto;
}
table.blosxomCalendar {
  margin:      18px;
  font-family: sans-serif;
  font-size:   10pt;
}
table.blosxomCalendar td.blosxomCalendarWeekHeader {
  font-weight: bold;
}
div.update {
  margin-top: 12px;
  padding-left: 12px;
  border: 1px dotted #bbb;
  color: #333;
}
div.update span.datetime {
  font-style: italic;
}
div.story h3 {
  display: block;
  border-bottom: 1px solid #555;
}

h2.date {
  background-color: #efefef;
}

ul.category-tree {
  margin-top: 3px;
}