/*
 * REMINDER: The values for the margin and the padding can be combined into one,
 * for example in
 *
 *      margin: top right bottom left
 *      margin: tob-bottom left-right
 */


/****************************  GLOBAL ADJUSTMENTS  ****************************/

html { background-color: #babdb6 }
body {
        background-color: white;
        border          : 0;
        font-family     : sans-serif;
        margin          : 0;
        padding         : 0;
}

tt               { font-size      : medium  }
p, ul, ol, pre   { line-height    : 150%    }
ul               { list-style-type: disc    }
li               { padding-bottom : 0.6ex   }
p                { text-align     : justify }
a                { color          : #3465a4 }
span.rps1        { color          : #c4a000 }
span.ps1         { color          : #4e9a06 }
span.broken_link {
        color: red;
        text-decoration: line-through;
}

h1, h2, h3 { font-weight: normal }
h2, h3     { padding-top: 1em    }
h3         { font-size  : large  }

h1 {
        font-size    : xx-large;
        margin-bottom: 1em;
        margin-top   : 0;
        text-align   : center;
}

h2 {
        border-bottom: 1px solid #888a85;
        font-size    : x-large;
        margin-left  : -2ex;
        margin-right : -2ex;
}

div.box {
        background-color: #eeeeec;
        border          : 1px solid #888a85;
        color           : black;
        margin          : 4ex 8%;
        padding         : 0px 1.5ex;
}

blockquote {
        font-family: serif;
        font-size  : 10pt;
}

pre {
        font-size: medium;
        margin   : 4ex 0;
        overflow : auto;
        padding  : 1ex;
}

pre.sample, pre.code {
        background-color: #eeeeec;
        border          : 1px dashed #888a85;
        color           : black;
}

pre.shell {
        background-color: #2e3436;
        border          : 1px solid green;
        color           : #d3d7cf;
}

dl.blog dd { padding-top: 0.5ex }

dl.blog dt {
        font-weight: bold;
        padding-top: 1ex;
}



/*******************************  PAGE LAYOUT  *******************************/

#header {
        background: white url(pics/header_frame.png) repeat-x;
        height    : 88px;
}

#header a {
        color          : #d3d7cf;
        font-size      : small;
        font-weight    : bold;
        text-decoration: none;
}
#header a:visited { color: #d3d7cf }

#header_logo {
        background: transparent url(pics/mylogo.png) no-repeat;
        height    : 80px;
        position  : relative;
}

#header_menu {
        bottom  : 8px;
        right   : 16px;
        position: absolute;
}


#body {
        font-size: small;
        margin   : 1em auto 3em auto;
        width    : 80ex;
}


#footer {
        background : #babdb6 url(pics/footer_shadow.png) repeat-x;
        font-family: serif;
        font-size  : small;
}

#footer a          { text-decoration: none    }
#footer a:visited  { color          : #3465a4 }

#footer_stamp {
        float     : right;
        padding   : 8px 16px 0 0;
        text-align: right;
}

#footer_validators {
        margin     : 0 auto;
        text-align : center;
        padding-top: 10px;
        width      : 72ex;
}

#footer_quote {
        margin: 8px auto 0 auto;
        width : 72ex;
}

#footer_author {
        font-style    : italic;
        margin        : 0 auto;
        padding-bottom: 8px;
        text-align    : right;
        width         : 72ex;
}