@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; font-size: 85%; }

div.body { margin: auto; margin-top: 20px; border-width: 0; padding: 0; width: 1072px; }

div.header {
    float:  left;
    width:  240px;
    margin: 20px;
    margin-top: 0;
    margin-left: 0;
}

div.main { margin-left: 260px; padding-left: 20px; border-left-width: 1px; width: 790px; }

div.footer {
    clear:         both;
    margin: 0;
    margin-top: 20px;
    border-top-width:    1px;
    width: 1052px;
    padding:       10px;
    text-align:    center;
}
div.footer .print  { float: left;  margin-bottom: 10px; }
div.footer .source { float: right; margin-bottom: 10px; }

ul.navigation, ul.tags  { margin: 0; display: block; }
ul.navigation { margin-bottom: 20px; padding: 0; }
ul.navigation li , ul.tags li { margin: 0; padding: 0; border-width: 0; display: block; }
ul.navigation li ul  { margin: 0 20px; padding: 0; border-width: 0; display: block; width: 200px; }
ul.navigation li ul li { margin: 0; padding: 0; border-width: 0; display: inline-block; }
ul.navigation li ul li { width: 20px; text-align: left; }
ul.navigation li ul li + li { width: 160px; text-align: center; }
ul.navigation li ul li + li + li { width: 20px; text-align: right; }

div.tagcloud        { margin-top: 20px; margin-bottom: 20px; }
div.tagcloud ul     { margin: 0; border-width: 0; padding: 0; display: block;  }
div.tagcloud ul li  { margin: 0; border-width: 0; padding: 0; display: inline; vertical-align: middle; }
div.tagcloud .title { font-weight: bold; }
div.tagcloud .popularity0 { font-size: 100%; }
div.tagcloud .popularity1 { font-size: 105%; }
div.tagcloud .popularity2 { font-size: 109%; }
div.tagcloud .popularity3 { font-size: 114%; }
div.tagcloud .popularity4 { font-size: 120%; }
div.tagcloud .popularity5 { font-size: 125%; }
div.tagcloud .popularity6 { font-size: 131%; }
div.tagcloud .popularity7 { font-size: 137%; }
div.tagcloud .popularity8 { font-size: 143%; }
div.tagcloud .popularity9 { font-size: 150%; }

div.recent          { margin-top: 20px; margin-bottom: 20px; }
div.recent ul       { margin: 0; border-width: 0; padding: 0; display: block; }
div.recent ul li    { margin: 0; border-width: 0; padding: 0; display: block; margin-bottom: 10px; }
div.recent .title   { font-weight: bold; }

div.archives        { margin-top: 20px; margin-bottom: 20px; }
div.archives ul     { margin: 0; border-width: 0; padding: 0; display: block; }
div.archives ul li  { margin: 0; border-width: 0; padding: 0; display: inline; }
div.archives .title { font-weight: bold; }

.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: 20px;
    border-bottom-width: 1px;
}

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: none; }
p { margin-bottom: 10px; 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; }