/*
 * CSS for my website: http://www.yollotl.net/~beto/
 * Copyright, 2009, Alberto Manuel Velázquez Canales
 * Licensed under the GNU General Public License, version 2
 */

body
{
    font-size: 1em;
    font-family: "DejaVu Serif", "Georgia", serif;
    
    color: black;
    background-color: white;
    
    margin-top: 1%;
    margin-bottom: 1%;
    margin-left: 10%;
    margin-right: 10%;

    text-align: justify;
}

h1
{
    font-size: 2.0em;
}

h2
{
    font-size: 1.8em;
}

h3
{
    font-size: 1.6em;
}

h4
{
    font-size: 1.4em;
}

h5
{
    font-size: 1.2em;
}

h6
{
    font-size: 1.0em;
}

h1, h2, h3, h4, h5, h6
{
    color: #97000f;
    background-color: inherit;

    font-family: "DejaVu Sans", "Helvetica", sans-serif;

    text-align: left;
}

a
{
    color: #97000f;
    background-color: inherit;
    
    text-decoration: none;
}

a:visited
{
    color: #909090;
    background-color: inherit;
}

a:hover
{
    color: white;
    background-color: #97000f;
}

img
{
    border-width: 0px;
}

pre, code, kbd, samp
{
    font-family: "DejaVu Sans Mono", "Courier New", monospace;
}

pre
{
    white-space: pre;
    
    padding: 1%;
    
    border-style: solid;
    border-color: black;
    border-width: 1px;
    
    overflow: auto;
}

blockquote, cite
{
    font-style: italic;
}

table
{
    table-layout: fixed;
}

td
{
    border-width: 1px;
    border-style: solid;
    border-color: #97000f;
    
    padding: 1%;
}

/*
 * Start of the sections
 */

div#page
{
    margin-left: 15%;
    margin-right: 15%;

    padding: 0;
}

div#breadcrumb
{
    margin: 0;
    
    padding: 0
}

div#header
{
    margin-top: 1%;
    margin-bottom: 1%;
    margin-left: 0;
    margin-right: 0;
    
    padding: 0;
}

div#header h1
{
    text-align: center;
}

div#content
{
    float: left;

    /* The section should be 75% width:
    width + padding + margin + border */
    width: 70%;
    margin-right: 5%;
    padding: 0;
    border-width: 0;

    overflow: hidden;    
}

div#menu
{
    /* The section should be 25% width:
    width + padding + margin + border */
    width: 22%;
    margin: 0;
    margin-left: 1%;
    border-left-width: 1px; /* Assuming 1px < 1% */
    border-left-style: solid;
    border-left-color: #97000f;
    padding-left: 1%;

    overflow: hidden;
}

div#menu h2
{
    font-size: 1em;
    
    color: black;
    background-color: inherit;
}

div#menu ul
{
    margin: 0;
    
    padding: 0;
    
    list-style-type: none;
}

div#menu ul li
{
    display: block;
    
    padding-bottom: 0.5em;
}

div#whitespace
{
    clear: both;
}

div#footer
{
    margin-top: 3%;
    
    font-family: "DejaVu Sans", "Helvetica", sans-serif;
    text-align: center;
}

div#footer h2
{
    display: none;
}

div#footer ul
{
    list-style-type: none;
    padding-left: 0;
}

div#footer ul li
{
    display: inline;
}

div#footer ul li:before
{
    content: "| ";
}

div#footer ul li:after
{
    content: " |";
}

/*
 * Start of the classes
 */

pre.shell
{
    background-color: black;
    color: white;
}

pre.coding
{
    background-color: silver;
    color: black;
}

p.note
{
    padding: 5px;
    
    border-style: dashed;
    border-color: #97000f;
    border-width: 2px;
}

p.quote
{
    text-align: right;
}

p.image
{
    text-align: center;
}