/*
 * This CSS contains all style informations for basic elements of the website
 */

body
{
    background-color: rgb(255, 255, 255);

    font-family: Tahoma, Geneva, sans-serif;
}

a
{
    display: inline-block;
    color: #000080;
}

a:hover
{
    cursor: pointer;
    color: #E36C0A;
}

/*
 * Replacement for "<hr>" to avoid use of browser agent style
 */
.horizontalLine
{
    height: 3px;

    background-color: #C0CC00;
}

.emptyLine
{
    height: 20px;
}

.headLine1
{
    color: #000080;

    font-size: 2em;
    font-weight: bold;

    text-align: left;
}

.headLine2
{
    color: #000080;

    font-size: 1.5em;
    font-weight: bold;

    text-align: left;
}

.headLine3
{
    color: #000080;

    font-size: 1.17em;
    font-weight: bold;

    text-align: left;
}

.headLine4
{
    color: #000080;

    font-size: 1.12em;
    font-weight: bold;

    text-align: left;
}

.headLine5
{
    color: #000080;

    font-size: .83em;
    font-weight: bold;

    text-align: left;
}

.headLine6
{
    color: #000080;

    font-size: .75em;
    font-weight: bold;

    text-align: left;
}

summary
{
    display: flex;
}
