/* -*- mode: rainbow; mode: css; -*- */

body {
    /* font-family: monospace; */
    /* font-size: 10pt; */
    /* max-width: 45em; */

    font-family: "Bitstream Vera Sans", "Arial", sans-serif;
    font-family: sans-serif;
    max-width: 40em;
    text-align: justify;

    line-height: 1.6;
    padding: 0 1em 0 1em;
    margin: 0 auto 0 auto;

    color: black;
    background-color: white;

    /* Hyphenation is supported in modern browsers */

    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    hyphens: auto;
}

a {
    text-decoration: none;
}

a.link {
    color: #0000c0;
    background-color: inherit;
}

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

a:hover {
    text-decoration: underline;
}

table.layout {
    border-collapse: collapse;
}

h1 {
    text-align: left;
    font-weight: normal;
    font-size: 140%;
    text-transform: uppercase;
    margin-top: 0.5em;
}

h2 {
    text-align: left;
    font-weight: normal;
    font-size: 120%;
    text-transform: uppercase;
}

h3 {
    text-align: left;
    font-weight: normal;
    font-size: 100%;
    /* text-transform: uppercase; */
    text-decoration: underline;
}

pre.code {
    font-family: monospace;
    text-align: left;
    padding-left: 2em;
    line-height: 1.4;
}

/* I use paragraphs so that the rendering is sort of fine with
   text-based or very primitive browsers */

p.footer {
    text-align: right;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

p.download {
    font-family: monospace;
    text-align: left;
    padding-left: 2em;
}

p.jointwork {
    text-align: right;
}