/*       _\|/_
         (o o)
 +----oOO-{_}-OOo-----------------------+
 |Author: Bas van Gils                  |
 |Email : bas@van-gils.org              |
 |Date  : Sun Jul  5 20:58:14 CEST 2009 |
 +--------------------------------------*/

/*
 * the normal stuff for body 
 */
body { 
    color: navy; 
    background: 000000;
    background: url(img/bg.gif);
    background-repeat: no-repeat; 
    margin-left: 10%;
    margin-right: 15%;
    padding: 1em;
    font-family: "verdana", sans-serif;
}

/*
 * headings 
 */
h1{
    margin-left: -10%;
}

h2,h3,h4,h5,h6{
    margin-left: -5%;
}

/*
 * menu-items at the top
 */
div.mi{
    color: navy;
    font-size: 75%;
    padding: 2em;
}


/*
 * give program code a nice color
 */
pre.code{
    color: #FF000D;
}


/*
 * nicely formatted dd/dt lists
 */
dt{
    font-style: italic; font-weight: bold;
}


/*
 * typset paragraphs such that text is justified
 */
p{
  text-align: justify;
}

/*
 * footers of pages
 */
p.footer{
    font-size: 75%;
    text-align: center;
}


/*
 * special formating for dates (bottom of the page)
 */
div.date{
    color: navy;
    font-size: 75%;
    font-family: monospace; 
    text-align: center;
    padding: 2em;
}

/*
 * attention, for bold-red fonts
 */
div.attention{
    color: red;
    display: inline;
    font-weight: bold;
}

div.topbox{
    padding: 0.5em;
    text-align: right;
    position: absolute;
    top: 2em;
    left: auto;
    width: 15%;
    right: 1em;
    border: none;
}

body>div.topbox{
    position: fixed;      /* Overrides 'absolute' above */
}

.aright{
     float: right;
        margin: 0 0 1em 1em;
}

img.alignright {
    padding: 6px;
    margin: 0 0 5px 10px;
    display: inline;
    float: right;
}