html {
    font-family: "Arial", sans-serif;
    font-size: 12pt;
    color: black;
    margin: 0; padding: 0;
}
body {
    margin: 0; padding: 0;
}
a {
    color: black;
    text-decoration: none;
}
.clear {
    clear: both;
}
header {
    padding: 0; margin: 0;
    
    box-sizing: border-box;
}
#top {
    margin: 30px 0 0 0; padding: 0;
    background: linear-gradient(to top, #e3e3e3, white);
    background-size: 100% 5px;
    background-repeat: repeat-x;
    background-position: bottom;
}
article {
    width: 90%;
    margin: auto;
}
#top #logo {
    font-weight: bold; font-size: 200%;
    display: block;
    background: url("images/logo.png");
    background-size: 50px 50px;
    background-repeat: no-repeat;
    height: 80px;
    padding-left: 60px;
    padding-top: 6px;
    width: 200px;
    float: left;
    color: #152442;
}
#top #logo:hover {
    color: black;
}
#top #logo strong {
    color: #45bbdf;
}
#top #language {
    width: 300px;
    display: block;
    float: right;
    text-align: right;
    font-size: 120%;
    margin-top: 20px;
}
#top #language a {
    color: #45bbdf;
}
#top #language a:hover {
    color: black;
}
#top #language #czechlang {
    background: url("images/czech.png") no-repeat;
    background-size: 28px 18px;
    padding-left: 40px;
    background-position-y: center;
    margin-right: 30px;
}
#top #language #englishlang {
    background: url("images/english.png") no-repeat;
    background-size: 28px 18px;
    background-position-y: center;
    padding-left: 40px;
}
nav {
    width: 100%;
    background: #45bbdf;
    display: block;
    padding: 0; margin: 0;
    box-sizing: border-box;
}
nav > ul {
    width: 98%;
    margin: auto;
    padding: 0; padding: 0;
    list-style: none;
    text-align: center;
}
nav > ul > li > ul {
    display: none;
}
nav > ul > li {
    display: inline;
    list-style-type: none;
    margin: 0 20px 0 20px;
}

nav > ul > li > a {
    display: inline-block;
    color: white;
    font-size: 130%;
    padding: 20px 30px 17px 30px;
    
    text-align:center;
    border-bottom: 2px solid #152442;
    box-sizing: border-box;
}
nav > ul > li > a:hover, nav > ul > li > a.selected {
    background: #152442;
    transition: 0.5s;
}
nav > ul > li.dropdown > a:after {
    font-family: "FontAwesome";
    content: "\f0d7";
    margin-left: 10px;
    color: white;
}
nav > ul > li.dropdown {
    position: relative;
    display: inline-block;
}
nav > ul > li.dropdown:hover > ul {
    display: block;
    list-style: none;
    position: absolute;
    background-color: #f9f9f9;
    margin: 0;
    clear: both;
    padding: 0;
    z-index: 1000;
}
nav > ul > li.dropdown:hover > ul li a {
    display: block;
    width: 210px;
    padding: 20px;
    border-bottom: 1px solid #152442;
}
nav > ul > li.dropdown:hover > ul li:first-child a { 
    border-top: 1px solid #152442;
}
nav > ul > li.dropdown:hover > ul li a.subselected { 
    color: white;
    background: #45bbdf;
}
nav > ul > li.dropdown:hover > ul li a:hover { 
    color: white;
    background: #152442;
}
nav > ul > li.dropdown > ul {
    display: none;
}
#slider, #sliderimage, #sliderblue {
    width: 100%;
    display: block;
    height: 260px;
    background: rgba(69, 187, 223, 0.2);
}
#sliderimage {
    background: linear-gradient(to bottom, rgba(0,0,0,0.3), transparent);
    background-size: 100% 10px;
    background-repeat: repeat-x;
    background-position: top;
}
#sliderblue {
    
    background: url("images/slider.jpg") no-repeat;
    background-position: center center;
    background-size: 100% auto;
}
#topbar {
    box-sizing: border-box;
    background: #152442;
    width: 100%;
    padding: 20px 0 10px 0; margin: 0;
    color: white;
}
#topbar > article > em {
    color: white;
    width: 100%;
    display: block;
    text-align: center;
}
#topbar h2 {
    color: white;
}
#topbar h1 {
    text-align: center;
    font-size: 180%;
}
#topbar > article > em {
    margin-top: -40px;
    margin-bottom: -33px;
    padding: 0;
}
#topbar article .left {
    box-sizing: border-box;
    float: left; display: block; width: 30%; border: 3px solid white;
    padding: 30px 20px 30px 20px;
}
#topbar article .left h1 {
    margin: 0;
    color: #45bbdf;
}
#topbar article .left h2 {
    text-align: center;
    text-transform: uppercase;
    font-size: 100%;
}
#topbar article .left a {     
    color: #45bbdf;
}
#topbar article .right {
    float: right;
    display: block;
    box-sizing: border-box;
    width: 67%;
}
#topbar article .right ul {
    list-style: none;
    list-style-position: inside;
    margin: 0; padding: 0;
}
#topbar article .right ul li {
    padding: 10px 20px 10px 30px;
}
#topbar article .right ul li strong {
    color: #ecda54;
    font-size: 120%;
}
#topbar .icon:before {
    font-family: "FontAwesome";
    margin-right: 20px;
    font-weight: normal;
}
#topbar .iconcrypt:before {
    content: "\f023";
}
#topbar .iconcap:before {
    content: "\f19d";
}
#topbar .iconrocket:before {
    content: "\f135";
}


p {
    line-height: 140%;
}
body > section {
    color: #292929;
}
body > section h1 {
    font-size: 250%;
    text-align: center;
}
footer {
    background: #152442;
    width: 100%;
    padding: 40px 0 40px 0;
    color: white;
}
footer#lastfooter {
    padding: 20px 0 20px 0;
    text-align: center;
    background: black;
}
footer .left {
    width: 50%;
    float: left;
    padding-bottom: 10px;
    border-bottom: 1px solid #6a6a6a;
    margin-bottom: 10px;
}
footer .right {
    float: right;
    width: 40%;
    color: #969696;
}
footer .right a {
    color: #969696;
}
footer .left ul {
    list-style: none; padding: 0; margin: 0;
    
}
footer .left ul li {
    float: left;
}
footer .left ul li a {
    color: #45bbdf;
    margin: 0 20px 0 20px;
}
footer .left ul li:first-child a {
    margin-left: 0;
}
footer .license img {
    max-width: 68pt;
    height: auto;
}
.clearleft {
    clear: left;
}
section > article {
    margin-top: 40px;
    margin-bottom: 40px;
}
section > article > .left {
    float: left;
    width: 45%;
    display: block;
}
section > article > .right {
    float: right;
    width: 45%;
    display: block;
}
section > .home > .left {
    margin-top: 30px;
    width: 40%;
    text-align: center;
    font-size: 300%;
    line-height: 130%;
}
section > .home > .right {
    width: 60%;
    color: #6a6a6a;
}
.blue {
    color: #45bbdf;
}
.darkblue {
    color: #152442;
}
article h1 {
    font-weight: normal;
}
article h2 {
    font-weight: normal;
    color: #152442;
    font-size: 160%;
    margin-bottom: 0px;
    padding-bottom: 0;
}
article h3 {
    font-weight: normal;
    color: #152442;
    font-size: 120%;
    margin-bottom: 0px;
    padding-bottom: 0;
}
article pre {
    width: 100%;
    padding: 20px;
    background: #fbfbfb;
    box-sizing: border-box;
    border: 1px solid #969696;
}


.articlebox {
    width: 100%;
    box-sizing: border-box;
    border: 1px solid #969696;
    margin-bottom: 15px;
    border-bottom: none;
}
.articlebox .articleboxheader {
    display: block;
    padding: 15px 10px 15px 20px;
    font-weight: bold;
    border-bottom: 1px solid #969696;
}
.articlebox .articleboxheader:hover, .articlebox.selected .articleboxheader {
    color: white;
    background: #45bbdf;
}
.articlebox .articleboxheader span:before {
    content: "+";
    margin-right: 20px;
}
.articlebox.selected .articleboxheader span:before {
    content: "-";
    margin-right: 20px;
}
.articlebox .articleboxcontent {
    padding: 20px;
    display: none;
}
.articlebox.selected {
    border-bottom: 1px solid #969696;
}
.articlebox.selected .articleboxcontent {
    display: block;
}

.leftThird {
    width: 30%;
    float: left;
    display: block;
}
.leftThird img {
    max-width: 100%; height: auto;
}
.rightTwoThird {
    width: 66%;
    float: right;
    display: block;
}

.bluebox {
    display: block;
    width: 49%;
    box-sizing: border-box;
    float: left;
    padding: 20px 20px 10px 20px;
    color: white;
    font-size: 120%;
    background: #45bbdf;
    border-radius: 20px;
    margin-bottom: 20px;
    margin-top: 20px;
}
.bluebox:nth-child(odd) {
    float: right;
}
.bluebox:hover {
    background: #152442;
    color: white;
}
.bluebox > strong {
    font-size: 160%;
    font-weight: bold;
    color: white;
    width: 100%;
    display: block;
    padding-bottom: 5px; margin-bottom: 5px;
    border-bottom: 1px solid rgba(255,255,255,0.3);
}
.bluebox > strong:before {
    font-family: "FontAwesome";
    content: "\f0c1";
    color: white;
    margin-right: 20px;
    font-size: 90%;
    font-weight: normal;
}
.contactform input[type="submit"] {
    padding: 10px; box-sizing: border-box;
}
.contactform input[type="text"] {
    padding: 10px; box-sizing: border-box;
    width: 100%;
}
.contactform textarea {
    padding: 10px; box-sizing: border-box;
    width: 100%;
}

.contactform {
    padding: 0; margin: 0;
    list-style: none;
}
.contactform li {
    margin: 20px;
}
.contactform li strong:before {
    font-weight: normal;
    font-family: "FontAwesome";
    margin-right: 20px;
}
.contactform li strong.nameicon:before {
    content: "\f2ba";
}
.contactform li strong.phoneicon:before {
    content: "\f10b";
}
.contactform li strong.emailicon:before {
    content: "\f0e0";
}

.strong {
    font-weight: bold;
}
section > article table {
    width: 100%;
    box-sizing: border-box;
    border-collapse: collapse;
}
section > article table thead tr {
    background: #152442;
    color: white;
}
section > article > table td, section > article > table th {
    padding: 20px;
}
section > article table, section > article table th, section > article table td {
    border: 1px solid #aeaeae;
}
section > article table tbody tr:nth-child(even) {
    background: rgba(69,187,223,0.1);
}
body > section > article a {
    color: #45bbdf;
}
body > section > article a:hover {
    color: black;
}

.center {
    text-align: center;
}
.huge {
    font-size: 130%;
}

.scrollx {
    overflow-x: auto;
}

table caption {
    font-weight: bold;
}


/* ----- MATH -------- */
.matrix {
    width: auto;
    position: relative;
}
.matrix tr:nth-child(even) {
    background: white;
}
.matrix tr td {
    padding: 5px;
}
.matrix tr td, .matrix {
    border: none;    
}
.matrix:before, .matrix:after {
    content: "";
    position: absolute;
    top: 0;
    border: 1px solid #000;
    width: 6px;
    height: 100%;
}
.matrix:before {
    left: -6px;
    border-right: 0;
}
.matrix:after {
    right: -6px;
    border-left: 0;
}
.formula, .formula td {
    border: none;
}
.formula tr td {
    padding: 5px;
}
.formula {
    width: auto;
    margin: auto;
}
.slighttable {
    width: auto;
}
.slighttable tr:nth-child(even) {
    background: white;
}
.slighttable tr td, .slighttable tr th, .slighttable {
    border: 1px solid black;
}
/* ------------------ */

.autoimage {
    max-width: 100%;
    height: auto;
}
body section > article table.autoscrollx {
    box-sizing: border-box;
    display: block;
    overflow-x: auto;
    width: auto;
    border: none;
}
.nopadding tr td, .nopadding tr th {
    padding: 3px;
}
.autosize {
    max-width: 100%;
    height: auto;
}

.overline {
    text-decoration: overline;
}
ol.alfaOl li {
    list-style-type: lower-alpha;
}

@media screen and (max-width: 1600px) 
{
    nav > ul > li > a {
        font-size: 100%;
        padding: 20px 10px 17px 10px;
    }
    nav > ul > li {
        margin: 0 5px 0 5px;
    }
    nav > ul > li:first-child {
        margin: 0 0px 0 0px;
    }
    nav > ul > li:last-child {
        margin: 0 0px 0 0px;
    }
    nav > ul > li.dropdown:hover > ul li a {
        background: #f9f9f9;
        width: 190px;
        padding: 20px 10px 20px 10px;
    }
    nav > ul > li:last-child.dropdown:hover > ul li a {
        margin-left: -100px;
    }
}

@media screen and (max-width: 1300px) { 
    section > .home > .left {
        font-size: 200%;   
        padding-bottom: 20px;
    }
    section > .home > .right {
        float: none;
        width: 100%;
    }
}

@media screen and (max-width: 1000px) { 
    .hideunder1000px {
        display: none;
    }
    section > .home > .left {
        float: none;
        width: 100%;
        font-size: 200%;
    }
    nav > ul > li {
        margin: 0 3px 0 3px;
    }
    
}

@media screen and (max-width: 850px) { 
    .hideunder850px {
        display: none;
    }
    .leftThird {
        display: none;
    }
    .rightTwoThird {
        width: 100%;
    }
    nav ul, nav  ul  li, nav  ul  li a {
        display: block;
        width: 100%;
    }
    nav > ul > li.dropdown:hover > ul li a {
        width: 100%;
        box-sizing: border-box;
    }
    footer  .left {
        display: none;
    }
    footer .right {
        width: 100%; clear: both;
        margin-bottom: 20px;
    }
    nav > ul > li {
        margin: 0 0px 0 0px;
        padding-left: 0; padding-right: 0;
    }
    #language {
        margin-bottom: 30px;
    }
    #topbar article .left {
        width: 100%;
        box-sizing: border-box;
    }
    #topbar article .right {
        margin-top: 20px;
        clear: both;
        width: 100%;
        box-sizing: border-box;
    }
    #slider, #sliderimage, #sliderblue {
        display: none;
    }
    .bluebox {
        float: none;
        clear: both;
        width: 100%;
    }
    .bluebox:nth-child(even) {
        float: none;
    }
    section > article > .left {
        float: none; width: 100%; width: 100%;
        box-sizing: border-box;
    }
    section > article > .right {
        float: none; width: 100%; width: 100%;
        box-sizing: border-box;
    }
    body section > article table.scollabletablex {
        box-sizing: border-box;
        display: block;
        overflow-x: scroll;
        width: 100%;
    }
    #top #logo {
        padding-top: 10px;
        font-size: 150%;
    }
    nav > ul > li:last-child.dropdown:hover > ul li a {
        margin-left: 0;
    }
}