@font-face {
  font-family: LMSans10;
  font-style: normal;
  font-weight: normal;
  src: url(lmsans10-regular.otf) format("opentype");
}

@font-face {
  font-family: LMSans10;
  font-style: normal;
  font-weight: bold;
  src: url(lmsans10-bold.otf) format("opentype");
}

@font-face {
  font-family: LMSans10;
  font-style: oblique;
  font-weight: normal;
  src: url(lmsans10-oblique.otf) format("opentype");
}

@font-face {
  font-family: LMSans10;
  font-style: oblique;
  font-weight: bold;
  src: url(lmsans10-boldoblique.otf) format("opentype");
}

@font-face {
  font-family: LMMono10;
  src: url(lmmono10-regular.otf) format("opentype");
}

* { overflow: visible; }
pre { overflow: auto; }

html, body, h1, h2, h3, h4, h5, h6, div, span, p {
    margin:  0;
    border-width:  0;
    padding: 0;
}

html { font-family: LMSans10, sans-serif; }
pre  { font-family: LMMono10, monospace, fixed; }
img, audio, video  { max-width: 100%; }

body {
  margin: auto;
  margin-top: 20px;
  margin-bottom: 20px;
  border-width: 0;
  padding: 0;
  padding-left: 50px;
  padding-right: 50px;
  max-width: 790px;
}

main { max-width: 790px;  margin-top: 20px; margin-bottom: 20px; border-top: 5px solid; border-bottom: 5px solid; }

footer {
    clear: both;
    margin: 0;
    margin-top: 20px;
    max-width: 790px;
}
footer .bottom { border-top: 1px solid; }
footer .print  { float: left;  padding: 10px; }
footer .source { float: right; padding: 10px; }

nav    { margin-top: 20px; margin-bottom: 20px; }
nav ol { margin: 0; display: block; }
nav ol { margin-bottom: 20px; padding: 0; }

.related ol li { margin: 0; padding: 0; border-width: 0; display: block; }
.related ol li ol  { margin: 0 20px; padding: 0; border-width: 0; display: block; width: 240px; }
.related ol li ol li { margin: 0; padding: 0; border-width: 0; display: inline-block; }

.related ol li ol li { width: 20px; text-align: left; }
.related ol li ol li + li { width: 160px; text-align: center; }
.related ol li ol li + li + li { width: 20px; text-align: right; }

.tagcloud       { margin-top: 20px; margin-bottom: 20px; }
.tagcloud ol    { margin: 0; border-width: 0; padding: 0; display: block;  }
.tagcloud ol li { margin: 0; border-width: 0; padding: 0; display: inline; vertical-align: middle; }
.tagcloud .p0 { font-size: 100%; }
.tagcloud .p1 { font-size: 105%; }
.tagcloud .p2 { font-size: 109%; }
.tagcloud .p3 { font-size: 114%; }
.tagcloud .p4 { font-size: 120%; }
.tagcloud .p5 { font-size: 125%; }
.tagcloud .p6 { font-size: 131%; }
.tagcloud .p7 { font-size: 137%; }
.tagcloud .p8 { font-size: 143%; }
.tagcloud .p9 { font-size: 150%; }

.recent ol       { margin: 0; border-width: 0; padding: 0; display: block; }
.recent ol li    { margin: 0; border-width: 0; padding: 0; display: block; margin-bottom: 10px; }

.archives ol     { margin: 0; border-width: 0; padding: 0; display: block; }
.archives ol li  { margin: 0; border-width: 0; padding: 0; display: inline; }

.date { font-size: 67%; }

ul.tags    { margin: 0; border-width: 0; display: block;  padding:       10px; }
ul.tags li { margin: 0; border-width: 0; display: inline; padding: 0; padding-right: 10px; }

h1, h2 {
    margin-bottom: 50px;
}

h3, h4, h5, h6 {
    margin-top: 20px;
    border-top-width: 1px;
}

h1, h2, h3, h4, h5, h6 {
    font-weight:   bold;
}
h1, h2 { font-size: 200%; }
h3     { font-size: 150%; }
h4     { font-size: 140%; }
h5     { font-size: 130%; }
h6     { font-size: 120%; }

a { text-decoration: underline; }
div[xmlns="http://www.w3.org/1999/xhtml"] p { margin-top: 50px; margin-bottom: 50px; line-height: 200%; text-align: justify; }
ul + div[xmlns="http://www.w3.org/1999/xhtml"] p { margin-top: 5px; margin-bottom: 5px; line-height: 150%; text-align: justify; }
dt { font-weight: bold; }
dd { margin-left: 50px; margin-right: 50px; text-align: justify; }

table.downloads {
  margin-bottom: 10px;
}

table.downloads th {
  padding: 5px;
  text-align: center;
}

table.downloads td {
  padding: 5px;
  text-align: right;
}

table.right th { text-align: right; }
table.right td { text-align: right; }

div.gallery { overflow: auto; }
div.gallery div { float: left; width: 128px; height: 128px; text-align: center; margin: 10px; }
div.gallery div a { margin: 0; line-height: 128px; }
div.gallery div a img { margin: 0; vertical-align: middle; }

a img { border-width: 1px; }

div.separator { float: none; clear: both; display: block; visibility: hidden; height: 1px; line-height: 1px; }

* { border-color: #402020; color: black; background-color: white; border-style: solid; border-width: 0; }
a { color: #804040; background-color: white; }
a:visited { color: #402020; background-color: white; }

a.feed-icon { float: right; }
a.feed-icon img { border-width: 0; }

a.obsolete { text-decoration: line-through; }

table#lifecycles { width: 75%; margin: auto; margin-bottom: 1em; margin-top: 1em; border-collapse: collapse; }
table#lifecycles tr td { width: 33%; text-align: center; padding: 0.25em; }
table#lifecycles tr td + td { border-left-width: 1px; border-right-width: 1px; }
table#lifecycles tr td + td + td { border-width: 0; }

div#p-2013-02-01_navigating_by_spokes_in_the_mandelbrot_set span.l { background: yellow; }
div#p-2013-02-01_navigating_by_spokes_in_the_mandelbrot_set p img { display: block; margin: auto; }

.c { text-align: center; }

.current:before { content: "Current: " }
.music:before { content: "Music: " }
.mood:before { content: "Mood: " }
.avatar:before { content: "Avatar: " }