* {
    font-family: 'Libre Baskerville', sans-serif;
}

body {
    margin-left: 24pt;
    margin-right: 24pt;
}

a.main_menu_item, a.trail {
    color: #000000;
    text-decoration: none;
}

a.main_menu_item:hover, a.trail:hover {
    text-decoration: underline;
}

p.page_heading {
    font-family: 'Arvo', serif;
    font-size: 24pt;
    text-align: center;
    padding-bottom: 0pt;
}

p.trail {
    text-align: center;
    font-size: 12pt;
    margin-bottom: -10pt;
}

p.trail_last {
    text-align: center;
    font-size: 12pt;
    margin-bottom: -26pt;
}

@-webkit-keyframes main_menu_fade {
    from {
	background-color: #ffffff;
    }
    to {
	background-color: #f0ffff;
    }
}

@keyframes main_menu_fade {
    from {
	background-color: #ffffff;
    }
    to {
	background-color: #f0ffff;
    }
}

table.main_menu {
    margin-left: auto;
    margin-right: auto;
    margin-top: 0px;
    border: 1px solid black;
    display: table;
    padding: 12pt;
    background: #f0ffff;
    -webkit-animation: main_menu_fade 2s;
    animation: main_menu_fade 2s;
    font-size: 14pt;
    text-align: center;
}

td.main_menu {
    padding-left: 1.5em;
    padding-right: 1.5em;
}

td.main_menu_items {
    position: relative;
    top: -1em;
    padding-left: 1.5em;
    padding-right: 1.5em;
}

p.main_menu_heading {
    font-weight: bold;
    text-align: center;
    margin-bottom: 6pt;
}

h1 {
    padding-top: 8pt;
    font-size: 16pt;
}

td.bad {
    background-color: #ff4444;
}

td.good {
    background-color: #66ff66;
}

td.average {
    background-color: #ffb870;
}

table.denormals {
    border: 1px solid black;
    margin-left: auto;
    margin-right: auto;
    padding: 5pt;
    border-collapse: collapse;
}

th.denormals, td.denormals {
    border: 1px solid black;
    padding: 3pt;
}

code {
    font-family: monospace;
    font-size: 120%;
}

table.download {
    font-size: 14pt;
    margin-left: auto;
    margin-right: auto;
}

td.download {
    padding-left: 12pt;
    padding: 5pt;
}

td.api_documentation {
    text-align: center;
}

td.older_download {
    padding-left: 5pt;
    padding-right: 5pt;
    font-size: 80%;
}

@-webkit-keyframes software_fade {
    from {
	background-color: #ffffff;
    }
    to {
	background-color: #ffffc0;
    }
}

@keyframes software_fade {
    from {
	background-color: #ffffff;
    }
    to {
	background-color: #ffffc0;
    }
}

div.download {
    display: table;
    border: 1px solid black;
    padding: 12pt;
    margin-left: auto;
    margin-right: auto;
    background: #ffffc0;
    -webkit-animation: software_fade 1s;
    animation: software_fade 1s;
}

div.narrower {
    max-width: 800px;
    height: 100%;
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 24pt;
}

p.login {
    margin-top: 24pt;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

table.login, p.user_downloads, ul.user_downloads, p.admin {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

table.admin {
    margin-left: auto;
    margin-right: auto;
    border: 1px solid black;
    padding: 5pt;
}

span.rate {
    background: #ffffc0;
    border: 1px solid black;
    padding: 2px;
}