a {
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}

body {
    margin: 4em;
}

h2, h3, h4, h5, h6 {
    margin-top: 3em;
}

h1 {
    font-size: 400%;
    margin-top: 0;
}

h1 {
    text-align: center;
    /*border-bottom: 2px dashed silver;*/
}

h2 {
    border-bottom: 1px solid silver;
}

span.edit {
    text-align: end;
    float: right;
    font-size: small;
    font-weight: normal;
}

span.edit {
    /*display: none;*/
    visibility: hidden;
}

a.enable-edit {
    display: inline;
}

a.disable-edit {
    display: none;
}

div.edit-controls {
    float: right;
    margin-top: -3em;
    margin-right: -3em;
}

span.edit a {
    /*color: white;*/
}

p {
    margin-left: 0em;
}

pre {
    margin: 2em 4em;
}

pre {
    color: navy;
    background-color: #f4f4f4;
    border: 1px solid silver;
    padding: 1em;
    line-height: 1.1em;
}

body, body div, body p, body th, body td, body li, body dd	{
        font-family: sans-serif;
	font-size:	small;
	voice-family:	"\"}\"";
	voice-family:	inherit;
	font-size:	medium;
}

html>body, html>body div, html>body p, html>body th, html>body td, html>body li, html>body dd	{
        font-family: sans-serif;
	font-size:	medium;
}