body {
}

h1 {
    text-align:center;
    padding:0px;
    margin:0px;
}

.manual-text {
    background-color: #f3f3ff;
    margin-left: 100px;
    padding: 6px;
    width:700px;
}

h3.section-heading {
    padding:3px;
    margin:3px;
    margin-left: 20px;
    font-size: 130%;
}
.subsection-heading {
    padding:3px;
    margin:3px;
    margin-left: 20px;
    font-size: 120%;
}

.code {
    font-family: monospace;
}
.function-name {
    font-weight: bold;
    font-family: monospace;
}
.function-argument {
    font-style: italic;
    font-family: monospace;
}
.emphasis {
    font-style: italic;
}
.literal {
    font-family: monospace;
}
.symbolic {
    font-weight: bold;
}
table.navigation td {
    padding: 5px;
    vertical-align: top;
}
.title {
    font-style: italic;
}
.variable {
    font-family: monospace;
}
.config {
    font-family: monospace;
}
.page-info {
    font-size: 90%;
}
.navigation {
    padding:0px
		margin:0px;
}
.navigation td {
    vertical-align: top;
}
.navigation * {
    padding: 0px;
}
.jump {
    padding:0px;
    margin:0px;
}

.columns td {
    padding-left:5px;
    padding-right:5px;
}
.bigred {
    font-size: 300%;
    font-weight: bold;
    color: #999999;
    font-family: serif;
    padding: 10px;
}

.attribution {
    text-align:right;
    font-style:italic;
}
.quote {
    margin-left:30px;
    margin-right:30px;
}
.startquote {
    vertical-align: top;
}
.endquote {
    vertical-align: bottom;
}
#quote-section
{
    margin-left: 200px;
    padding: 6px;
    width:600px;
    font-size: 120%;
}
.error {
    text-align:center;
    border:solid 1px;
    background-color: #f3f3ff;
    font-size: 120%;
    padding: 10px;
}
div.link-unit {
    text-align:center;
    margin: 5px;
}
.google-contents {
    padding-left: 30px;
}
.debug {
    background:#0F0;
}
.section {
    list-style-type: none;
    padding: 0px;
}
.subsection {
}
span.welcome {
    text-align: center;
    font-size: 200%;
    background: pink;
}

@media screen and (max-width: 800px) {
    .manual-text {
	width: unset;
	margin-left: unset;
    }
    #quote-section {
	margin-left: unset;
	padding: unset;
	width: unset;
	font-size: 120%;
    }
}