html,
body {
    background-color: white;
    padding: 0;
    margin: 0;
}

.header_image {
    opacity: 0.85;
    filter: blur(2px);
    object-fit: cover;
    max-width: 100%;
    max-height: 100%;

    /* This somehow removes the empty space between the header 
     * picture and the flexbox.*/
    display: block;
}

.center {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: auto;
    height: auto;
}

.title {
    color: rgb(55, 138, 197);
    font-size: 7vw;
    padding-right: 30pt;
    text-align: center;
}

.title_image {
    object-fit: scale-down;
    width: 25vw;
    max-width: 100%;
    max-height: 100%;
}

.masters_image {
    max-width: 60%;
    margin: 0px;
    padding: 0px;
}

.sub_title {
    /*color: rgb(55, 138, 197);*/
    color: rgb(40, 80, 175);
    font-size: 300%;
}


.common_font {

    color: rgb(40, 80, 175);
    font-size: 200%
}

.flex_box {
    display: -webkit-flex;
    display: flex;
    padding: 0;
    margin: 0;
}

.navigation_menu {
    /*-webkit-flex: 1;
    -ms-flex: 1;
    flex: 1;*/
    padding: 7px;

    width: 120pt;

    background-image: linear-gradient(rgb(55, 138, 197), rgb(0, 0, 125));

    /* makes sure the box streches the entire height*/
    flex: 0 1 auto;
}


.navigation_button {
    font-size: 150%;
    color: white;
    text-align: center;

    display: block;
    margin-left: auto;
    margin-right: auto;
    width: auto;
    height: auto;

    padding-top: 10pt;

    /* used to round the corners */
    border-radius: 10pt;
}

.navigation_button:hover {
    background-color: rgb(130, 200, 250);
}

.navigation_button:visited {
    color: white;
}

.footer {
    bottom: 0%;
    /*"position: fixed;" can be used to fix the footer*/
    color: white;
    background-color: rgb(0, 0, 125);
    display: flex;
    width: 100%;

    flex: 0 1 40px;
}

/*Generall table configuration.*/
table {
    border: 0px none;
    padding: 0px;
    border-spacing: 0px;
    text-align: center;
}

th,
td {
    border: 1px solid;
    border-color: rgb(192, 192, 255);
}

table {
    width: 100%;
}