/* (c) 2017 evomath,  author: evomath */


/*
COLORS:
FB_DARK: #3b5998 = rgb(59, 89, 152)
FB_BRIGHT: #dde2ed = rgb(221, 226, 237) 
*/

html {
    background: #dde2ed;
    margin-top: 22px;
    margin-left: 22px;
    margin-right: 22px;
}

body {
    /*background-color: #dde2ed;*/
    background: #FFFFFF;
    max-width: 1220px;
    min-width: 920px;
    margin: auto;
    /* 1024px|960px */
    padding: 16px;
}

*.font-size-16px {
    font-size: 16px;
}

a[name] {
    color: #3b5998;
    text-decoration: none;
}

a[href] {
    color: #3b5998;
    /* color: blue; */
    text-decoration: none;
}

a[href]:hover {
    /* color: blue; */
    text-decoration: underline;
}


/* =========================== #divTop ====================================== */

#divTop {
    color: #FFFFFF;
    background-color: rgba(0, 0, 0, 0.0);
    font-family: sans-serif;
    font-size: 11px;
    text-align: center;
    padding-top: 6px;
    padding-left: 16px;
    padding-bottom: 2px;
    padding-right: 16px;
    position: fixed;
    z-index: 1;
    left: 0;
    top: 0;
    width: 100%;
    height: 16px;
}

#divTop:hover {
    background: #000000;
}

#divTop span.module {
    font-size: 11px;
    padding-left: 24px;
}

#divTop span.settings,
#divHead span.login {
    color: #3b5998;
    background-color: #DDDDDD;
    font-size: 12px;
    padding-right: 4px;
    padding-left: 4px;
    cursor: pointer;
}

#divTop span.settings:HOVER,
#divHead span.login:HOVER {
    background-color: #EEEEEE/*#008000*/
    ;
}

#divTop span.registration {
    color: #3b5998;
    background-color: #00DD00;
    font-size: 12px;
    /*padding-left: 100px;*/
    text-align: right;
    margin-left: 16px;
    padding: 4px;
    cursor: pointer;
}

#divTop span.registration:HOVER {
    background-color: #00FF00;
}


/* ============================== #divHead ================================== */

#divHead {
    height: 64px;
    color: #FFFFFF;
    font-family: sans-serif;
    font-size: 16px;
    background-color: #3b5998;
    padding: 16px;
    padding-bottom: 24px;
    margin-top: 16px;
    margin-bottom: 0px;
    border-top-left-radius: 64px;
    border-bottom-left-radius: 64px;
    border-top-right-radius: 64px;
    border-bottom-right-radius: 64px;
    border-style: solid;
    border-color: #999999;
    border-width: 1px;
    box-shadow: 0 8px 16px 0 rgba(0, 0, 0, 0.3), 0 8px 20px 0 rgba(0, 0, 0, 0.3);
}


/* ========================= div.title ====================================== */

div.title {
    text-align: left;
    font-size: 48px;
    padding-top: 0px;
    height: 64px;
    font-family: sans-serif;
    font-weight: bold;
    background-color: #3b5998;
    color: #FFFFFF;
    /*
    background-image: url("images/evomath-icon.png");
    background-repeat: no-repeat;
    */
}

div.title img.icon {
    height: 64px;
    vertical-align: middle;
}

div.title
/* ========================= #divMain ======================================= */


/*
#divMain {
    
}
*/


/* ------------------------- div.cont --------------------------------------- */

div.cont {
    margin-top: 16px;
}

div.cont div,
table {
    margin: auto;
}

div.cont p {
    text-align: left;
}

div.cont p.hint {
    text-align: center;
}

div.cont p.big {
    font-size: 28px;
}


/* ------------------------ div.meta ---------------------------------------- */

div.meta {
    font-family: Georgia, Palatino, Times, serif;
    /* oder: Sylfaen;  TeX-like, Ligaturen, aber zu exotisch...*/
    font-size: 20px;
    text-align: justify;
    padding-left: 32px;
    padding-right: 32px;
    margin-top: 32px;
    line-height: 140%;
    /* 125% */
}

div.meta em {
    font-style: italic;
    /*font-weight: bold;*/
}

div.meta em.proof {
    font-style: normal;
    font-weight: bold;
}

div.meta h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: Tahoma, sans-serif;
    font-weight: bold;
    color: #3b5998;
}

div.meta h1 {
    font-size: 64px;
    text-align: center;
    font-weight: bold;
    margin-top: 64px;
    margin-bottom: 128px;
}

div.meta h2 {
    font-size: 24px;
    margin-top: 16px;
    margin-bottom: 8px;
}

div.meta p {
    padding-top: 8px;
}

div.meta *.caption {
    font-weight: normal;
    font-family: sans-serif;
    margin-top: 16px;
    text-align: center;
    font-size: 12px;
}

div.meta *.center {
    text-align: center;
}

div.meta ul {
    margin-top: 8px;
    padding-left: 32px;
}

div.meta ul li {
    list-style: disc;
}

div.meta em.soft {
    font-family: Arial, sans-serif;
    font-style: normal;
    /* background: #EEEEEE; */
    font-size: 18px;
    padding: 2px;
}

div.meta em.brand {
    font-family: Arial, sans-serif;
    font-style: normal;
    font-size: 20px;
}


/*
div.meta .hint {}

div.meta .help {}
*/

div.meta .edit {
    /*font-family: sans-serif;*/
    border: solid 1px #FF0000;
    border-radius: 4px;
}

div.meta code {
    font-size: 22px;
    font-weight: bold;
}

div.meta span.exercise {
    font-weight: bold;
}

div.meta pre {
    text-align: left;
}


/* ========================= #divFoot ======================================= */


/*
#divFoot {

}
*/


/* ------------------------- div.footnote ----------------------------------- */

#divFoot div.footnote p {
    padding: 4px;
    font-family: serif;
    text-align: left;
    font-size: 16px;
    line-height: 125%;
}


/* ========================== #divCode ====================================== */

#divCode {
    margin: auto;
    margin-top: 32px;
    padding: 0px;
}

#divCode iframe {
    width: 100%;
    height: 576px;
    margin: 0px;
    padding: 0px;
    background: #000000;
    border: none;
}

#divCode h1 {
    padding: 16px;
    font-size: 12px;
}

#divCode p {
    margin-top: 0px;
    padding: 0px;
}

#divCode p a {
    color: #000099;
    text-decoration: none;
    font-size: 12px;
    padding: 6px;
    background: #EEEEEE;
    border-radius: 8px 8px 8px 8px;
    border-top: solid 1px #CCCCCC;
    border-left: solid 1px #CCCCCC;
    border-right: solid 1px #CCCCCC;
}

#divCode p a:hover {
    color: #000000;
    background: #DDDDDD;
}

#divCode p a.selected {
    color: #FFFFFF;
    background: #000000;
}


/* ========================== #divBlog, #divWiki ============================ */

#divBlog,
#divWiki,
#divLink {
    margin-top: 32px;
    height: 64px;
    border-style: solid;
    border-width: 4px;
    border-color: #CCCCCC;
    border-radius: 32px;
    color: #FFFFFF;
    font-family: sans-serif;
    font-size: 48px;
    /*font-weight: bold;*/
    text-align: center;
}

#divBlog {
    background: green;
    cursor: pointer;
}

#divWiki {
    background: red;
    cursor: pointer;
}

#divLink {
    background: yellow;
    color: blue;
}

#divLink a {
    color: white;
}


/*
#divLink a:hover {
    
}
*/

#divBlog:hover,
#divWiki:hover,
#divLink:hover {
    border-color: #3b5998
}


/* ============================ #divCopy =================================== */

#divCopy {
    margin-top: 32px;
    height: 16px;
    text-align: center;
    font-family: sans-serif;
    font-size: 12px;
    color: #999999;
}


/* ============================ #divSpace =================================== */

#divSpace {
    height: 256px;
}


/* ================================= etc. =================================== */

code {
    font-family: monospace;
    /*background: #EEEEEE;*/
    font-size: 125%;
}

code.hi {
    background-color: #FFFFCC;
}

span.author {
    font-variant: small-caps;
}

#spanSettings {
    background-color: #3b5998;
    padding: 4px;
}

#spanEvomath {
    font-weight: bold;
    color: #FFFFFF;
    background-color: #3b5998;
    padding: 8px;
    margin-left: 0px;
}

#divTop span.leds {
    background-color: #3b5998;
    padding: 8px;
}

#spanLedRed {
    background-image: url("images/led/red-on-16.png");
    background-repeat: no-repeat;
}

#spanLedGreen {
    background-image: url("images/led/green-on-16.png");
    background-repeat: no-repeat;
}

#spanLedBlue {
    background-image: url("images/led/blue-on-16.png");
    background-repeat: no-repeat;
}

#spanLedYellow {
    background-image: url("images/led/yellow-on-16.png");
    background-repeat: no-repeat;
}

#spanTicker {
    color: #3b5998;
    font-family: sans-serif;
    font-size: 12px;
    background: rgba(0, 0, 0, 0);
    min-width: 800px;
    padding: 8px;
    cursor: default;
}

#spanTicker:HOVER {
    color: #dde2ed;
    background-color: #3b5998;
}

pre {
    margin-top: 16px;
    font-size: 16px;
}

em {
    font-style: italic;
}

h1.section {
    font-size: 48px;
}

h2.section {
    font-size: 32px;
}

a {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

span.author {
    font-variant: small-caps;
}