body {
	margin-left:2%;
	margin-right:2%;
	font-family: 'Roboto', sans-serif;
	line-height: 1.2em;

}

a {
    color: #588911;
}

a:hover {
    color: green;
}

h1,h2 {
    color: #588911;
}

hr {
    width: 50%;
    border: 0;
    border-bottom: 1px #588911 solid;
}

td {
	border: 1px solid #ddd;
}

.td_number {
	text-align: right;
}
.footnote {
	font-size: smaller;
	font-style: italic;
}

pre {
	background: #ddd;
}

.logo {
    width: 50%;
}

.example {
    margin-left: 25%; 
    margin-right: 25%;
    maring-top: 2em;
    margin-bottom: 2em;
    padding-top:1em;
    padding-bottom:1em;
    text-align: center;
}

.number {
    text-align: right;
}

#menu { 
    padding: 1em;
}

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

#menu ul li {
    display: inline;
}

.gold {
    font-weigth: bold;
    color: #fdd017;

}