/* general */
/* vim: set ts=4 sw=4 sts=4 et : */

/* the main stuff */
html, body {
    font-family: "Droid Sans", "Trebuchet MS", "Trebuchet", "Tahoma", "Arial", sans-serif;
    color: #000519;
    background: #000519 url(/pix/knot_solid_000519.png) 100% 0 no-repeat fixed;
    margin: 0px;
    padding: 0px;
    line-height: 1.5;
}

body { font-size: 90%; }

div.main {
    background: #badc8a url(/pix/knot_solid_badc8a.png) 100% 0 no-repeat fixed;
    margin: 10mm 20% 25mm 20mm;
    padding: 10mm 10mm 0mm 10mm;
    min-width: 25em;
    max-width: 70em;
}

div.menu {
    display: inline; /* Fixes IE bug */
    background: #000519 url(/pix/knot_solid_000519.png) 100% 0 no-repeat fixed;
    float: right;
    margin: -15mm -15mm 2mm 2mm;
    padding: 0mm 0mm 3mm 3mm;
    font-size: 110%;
    text-align: right;
}

div.main p { margin: 0mm 0mm 1.5em 0mm; padding: 0; }

a         { color: #33572b; font-weight: bold; }
a:visited { color: #; }
a:active  { color: #33572b; }
a:hover   {
    color: #f0f7a0;
    background: #7e9b2e url(/pix/knot_wire_7e9b2e.png) 100% 0 no-repeat fixed;
}

div.menu a         {
    color: #badc8a;
    background: #33572b url(/pix/knot_wire_33572b.png) 100% 0 no-repeat fixed;
    display: block;
    text-decoration: none;
    padding: 0mm 2mm 0mm 2mm;
}
div.menu a:visited { color: #badc8a; }
div.menu a:active  { color: #badc8a; }
div.menu a:hover   {
    color: #f0f7a0;
    background: #7e9b2e url(/pix/knot_wire_7e9b2e.png) 100% 0 no-repeat fixed;
}

a.email { font-style: italic; }

/* headers */
h1, div.shadow, h2, h3, h4, h5, h6 {
    margin: 0em;
    margin-top: 0.7em;
    font-weight: bold;
}

div.menu+h1, div.menu+h2, div.menu+h3,
div.menu+h4, div.menu+h5, div.menu+h6 {
    margin-top: 0em;
}
h1 { font-size: 130%; margin-left: -7mm; }
h2 { font-size: 120%; margin-left: -7mm; }
h3 { font-size: 110%; margin-left: -3mm; }
h4 { font-size: 100%; margin-left: -3mm; }
h5 { font-size:  90%; margin-left:  0mm; }
h6 { font-size:  80%; margin-left:  0mm; }

h1.float, div.shadow {
    background-color: transparent;
    font-size: 300%;
    letter-spacing: 0.25em;
    position: absolute;
    margin: 0em;
}

h1.float {
    left: 13mm;
    top: 2mm;
    z-index: 5;
    color: #f0f7a0;
}

div.shadow {
    left: 14mm;
    top: 3mm;
    z-index: 3;
    color: #000519;
}

/* highlighted boxes */
pre, code {
    font-family: "Andale Mono", "Lucida Console", "Monotype.com", "Courier New", monospace;
    font-size: 80%;
}
pre, math, code { background: #f0f7a0 url(/pix/knot_solid_f0f7a0.png) 100% 0 no-repeat fixed; }
pre, math {
    border: 1px dashed #7e9b2e;
    padding: 1px;
    line-height: 1.25;
}
math { font-family: "Droid Sans", "Trebuchet MS", "Trebuchet", serif; }

blockquote {
    margin: 0.6em 3mm 0.6em 3mm;
    padding: 0.6em 2mm 0.6em 2mm;
    font-family: "Georgia", "Times New Roman", serif;
    font-style: italic;
    font-size: 85%;
    text-align: justify;
    border: 2px solid #000519;
    border-width: 2px 0 2px 0;
}

blockquote+blockquote {
    margin-top: none;
    border-top: none;
}

blockquote cite {
    margin: 0 10% 0 30%;
    font-style: normal;
    text-indent: -3em;
    display: block;
}

blockquote p { text-indent: 1em; }

blockquote p+cite { margin-top: -0.6em; }

pre .filename {
    display: block;
    margin: 0.5em 0 -0.5em 0;
    text-align: right;
    line-height: 0;
    font-family: "Droid Sans", "Trebuchet MS", "Trebuchet", "Tahoma", "Arial", sans-serif;
}

.sidebar_r, .sidebar_l { display: inline; } /* Fix IE bug with floats */
.sidebar_r { float: right; margin: 2mm 0mm 2mm 2mm; }
.sidebar_l { float: left;  margin: 2mm 2mm 2mm 0mm; }

ul, ol { margin-top: 0mm; }

.copyright {
    font-size: 80%;
    border-top: 1px solid #000519;
    margin: 1em -10mm 0em -10mm;
    padding: 0 10mm 0 10mm;
    text-align: right;
    color: #f0f7a0;
    background: #7e9b2e url(/pix/knot_wire_7e9b2e.png) 100% 0 no-repeat fixed;
    clear: both;
}

.copyright a         { color: #badc8a; }
.copyright a:visited { color: #badc8a; }
.copyright a:active  { color: #badc8a; }
.copyright a:hover   {
    color: #f0f7a0;
    background: #7e9b2e url(/pix/knot_wire_7e9b2e.png) 100% 0 no-repeat fixed;
}

/* lists */
ul {
    padding: 0 0 0 2px;
    margin: 0 0 0.8em 0;
    border-left: 1px dashed #000519;
    border-bottom: 1px dashed #000519;
}

ul { list-style: none; }
ol.alpha { list-style: lower-alpha; }

li.strike { text-decoration: line-through; }

img { border: 0; }

sup { line-height: 0; font-size: 70%; }

.BDblack   { background-image: none; background-color: #000000; }
.BDblue    { background-image: none; background-color: #0000cc; }
.BDgreen   { background-image: none; background-color: #00cc00; }
.BDcyan    { background-image: none; background-color: #00cccc; }
.BDred     { background-image: none; background-color: #cc0000; }
.BDmagenta { background-image: none; background-color: #cc00cc; }
.BDbrown   { background-image: none; background-color: #cc6600; }
.BDwhite   { background-image: none; background-color: #cccccc; }
.BLblack   { background-image: none; background-color: #666666; }
.BLblue    { background-image: none; background-color: #6666ff; }
.BLgreen   { background-image: none; background-color: #66ff66; }
.BLcyan    { background-image: none; background-color: #66ffff; }
.BLred     { background-image: none; background-color: #ff6666; }
.BLmagenta { background-image: none; background-color: #ff66ff; }
.BLyellow  { background-image: none; background-color: #ffff66; }
.BLwhite   { background-image: none; background-color: #ffffff; }

.FDblack   { color: #000000; }
.FDblue    { color: #0000cc; }
.FDgreen   { color: #00cc00; }
.FDcyan    { color: #00cccc; }
.FDred     { color: #cc0000; }
.FDmagenta { color: #cc00cc; }
.FDbrown   { color: #cc6600; }
.FDwhite   { color: #cccccc; }
.FLblack   { color: #666666; }
.FLblue    { color: #6666ff; }
.FLgreen   { color: #66ff66; }
.FLcyan    { color: #66ffff; }
.FLred     { color: #ff6666; }
.FLmagenta { color: #ff66ff; }
.FLyellow  { color: #ffff66; }
.FLwhite   { color: #ffffff; }

pre.terminal {
    background: none #000000;
    color: #aaaaaa;
    font-size: 11px;
    line-height: 12px;
    padding: 5px 2px;
    border: 2px ridge;
    float: left;
}