body
{
    /*This is the style of the HTML-body*/
    margin-left:50px;
    margin-right:50px;
    margin-bottom:50px;
}

#lineMenuContent
{
    /*This is the line that divides the content and the menu.*/
    color:#0b938b;
    background:#0b938b;
    width:1025px;
}

.SiteHeader
{
/*
This is the header of the file, where my name appears
*/
    text-align:center;
    font-family:sans-serif;
}

.SiteBody
{
/*
Styles in the content-part of the website
*/
    font-family:sans-serif;
    font-size:14px;
    width:1024px;
    margin-left:auto;
    margin-right:auto;
    text-align:justify;
}

table.menu
{
/*
Properties of the table, where the menu is represented
*/
    margin-left:auto;
    margin-right:auto;
}

table.menu div
{
    height:100%;
    width:100%;
}

td.menuEntry
{
/*
Style of the table cells in the menu
*/
    vertical-align:top;
    text-align: center;
    font-variant: small-caps;
    width:175px;
    color:#0b938b;
}

td.menuEntry a:hover
{
/*
color of link should not change after I hover the menu with it.
*/
    color:#ffffff;
}

td.menuEntry:hover
{
/*
Intention: The menu shall change its color when we hover with the mouse over it
*/
    background-color:#0b938b;
    color:#ffffff;
}

a:link
{
    color:#0b938b;
    text-decoration:none;
}

a:visited
{
    color:#0b938b;
    text-decoration:none;
}

a:hover
{
    color:#0b938b;
    text-decoration:underline;
}

a:active
{
    color:#000000;
    text-decoration:underline;
}

hr.contentDelimiter
{
    /*If a page divides into more than one subcategory, the subcategories*/
    /*are divided by horizontal lines, whose style is defined here.*/
    width:250px;
    align:left;
    margin-top:30px;
    margin-bottom:30px;
}

ul
{
    text-align:justify;
}