body {
    font-family: sans-serif, sans, Arial;
}

a {
    color: black;
    text-decoration: none;
    border-bottom: 1px solid #C93333;
}

a:hover {
    color: #C93333;
}

img {
    border: none;
}

.path {
    font-family: monospace;
}

.code {
   font-family: monospace;
}

.codeblock {
    display: inline-block;
    padding: 5px;
    font-family: monospace;
    background-color: black;
    color: white;
}

div#main {
    max-width: 1100px;
    min-width: 700px;

    margin-top: 30px;
    margin-left: auto;
    margin-right: auto;
    background-color: white;
    
    border-top: 1px solid #C93333;
    border-bottom: 1px solid #C93333;
}


h2 {
    font-size: 120%;
   /* text-decoration: underline;*/
    background-color: #E0E0E0;
    padding: 10px 0px 10px 5px;
}

h3 {
    font-size: 110%;
    background-color: #E0E0E0;
    padding: 5px 0px 5px 10px;
}

.notify {
    border-left: 5px solid #C93333;
    padding-left: 8px;
}


.submenu {
    font-size: 80%;
    padding-top: 10px;
}

.submenu a {
    border-bottom: none;
}

div#header {    
    padding: 20px 0px 20px 0px;
}

div#download {    
    background-color: #E0E0E0;
    padding: 10px;
    float: right;
    border: 2px solid #C93333;
    -webkit-border-radius: 10px;    /* for Safari */
    -moz-border-radius: 10px;       /* for Firefox */
}

div#menu {
    padding: 20px 5px 20px 5px;
    background-color: #E0E0E0;
    border-bottom: 1px solid #C93333;
}
.rounded {
    border: 1px solid #C93333;
    padding: 5px;
    margin-right: 10px;
    color: black;
    text-decoration: none;
    -webkit-border-radius: 5px;    /* for Safari */
    -moz-border-radius: 5px;       /* for Firefox */
}

a#selected {
    font-weight: bold;
}

div#content {
/*    border-bottom: 1px solid #C93333;*/
    padding: 10px 0px 10px 0px;
}

div#footer {
    background-color: #E0E0E0;
    padding: 10px 0px 10px 0px;
    text-align: center;
    font-size: 80%;    
}


/* main page */

div#images {
    text-align: center;
    padding: 20px;
    background-color: #e8e8e8;
    border: 1px solid #e8e8e8;
    -webkit-border-radius: 20px;    /* for Safari */
    -moz-border-radius: 20px;       /* for Firefox */
}

div#images img {
    vertical-align:middle;
}

div#images a {
    border: none;
}



/* install */

.center {
    font-weight: bold;
    text-align: center;
}

table#packages {
    border-collapse: collapse;
}

table#packages td
{
    border-top: 1px solid black;
    border-bottom: 1px solid black;
    padding: 5px;
}

table#conf {
    border-collapse: collapse;
}

table#conf td
{
    border: 1px solid black;
    padding: 5px;
}

.highlight {
    background-color: #EEFFCC;
}