body {
    font-size: 16px;
    font: Georgia, "Times New Roman", serif;
    line-height: 1.5em;
    margin: 0;
}

a {
    color: blue;
    text-decoration: none;
}

a:hover {
    border-bottom: 1px dotted;
}

#book-text {
    margin: 3em;
    max-width: 36em;
}

/* ================================== */
/* = Header with logo and menu      = */
/* ================================== */
#header {
    margin: 3.4em 0 0 1.4em;
}

img {
    border: none;
}


#menu {
    position: fixed;
    left: 0em;
    top: 0em;
    width: 100%;
    height: 1.5em;
    background: #333;
    color: #FFF;
    opacity: 0.9;
    z-index: 99;
}

#menu a.menu-link {
    display: block;
    float: left;
    height: 1.5em;
    margin-left: 0.5em;
    text-align: center;
    color: #FFF;
}
#menu span {
    color: #888;
    font-style: italic;
    font-size: .75em;
    margin-right: 0.5em;
}


/* =================================================== */
/* = Common elements: headings, paragraphs and lines = */
/* =================================================== */
h1 {
    font-size: 3em;
    margin: 1.5em 0;
    text-align: center;
    line-height: 1.5em;
    font-weight: bold;
}

h2 {
    font-size: 2em;
    margin: 1.5em 0 0;
    font-weight: bold;
    line-height: 1.5em;
}

h3 {
    font-size: 1.5em;
    margin: 1.5em 0 0;
    font-weight: normal;
    line-height: 1.5em;
}

h4 {
    font-size: 1em;
    margin: 1.5em 0 0;
    line-height: 1.5em;
}

p {
    margin: 0;
}


#footnotes {
    margin-top: 3em;
    margin-left: 2.5em;
    font-size: 0.875em;
}

#footnotes p, #footnotes ul {
    margin: 1.5em 0;
}

#footnotes .permalink {
    font-size: .75em;
}

/* =================== */
/* = Custom elements = */
/* =================== */
span.author {
    font-size: 0.5em;
    display: block;
    line-height: 1.5em;
    margin-bottom: 0.25em;
}

span.author a {
    color: inherit;
}

span.author a {
    color: inherit;
}


/* =================================== */
/* = Hide some elements for printing = */
/* =================================== */

@media print {
    #menu {display: none;}
}