/* Time-stamp: "2015-05-12 11:17:10 CEST (es)" */
/* Enrico Schumann    */
@import url(http://fonts.googleapis.com/css?family=Ubuntu+Mono);
@import url(http://fonts.googleapis.com/css?family=Noto+Sans);
a.head {
    text-decoration:none;
}
a.head:visited {
    color: rgb(90%, 90%, 90%);
}
a.head:link {
    color: rgb(90%, 90%, 90%);
}
a.head:hover {
    color: rgb(90%, 90%, 90%);
}
a.head:active {
    color: rgb(90%, 90%, 90%);
}
a.navlink {
    text-decoration:none;
}
a.navlink:visited {
    color: rgb(0%, 0%, 0%);
}
a.navlink:link {
    color: rgb(0%, 0%, 0%);
}
a.navlink:hover {
    color: rgb(0%, 0%, 0%);
}
a.navlink:active {
    color: rgb(0%, 0%, 0%);
}

.e {
    text-transform: uppercase ;
    font-size: 100%;
    vertical-align: -0.45ex ;
    margin-left: -0.35em ;
    margin-right: -0.02em ;
    line-height: 0;
}

h1, h2, h3 {
    /* color: #DC143C; */
    /* color: #E6660D; */
    color: #527bbd;
    /* color: #2957c2; */
}
h1 {
    margin-top: 5ex;
    font-size: 120%;
    border-bottom: 1px solid silver;
}
h2 {
    font-size: 100%;
    /* font-style: italic; */
}
h3 {
    font-size: 100%;
    margin-bottom: 1em;
    text-decoration:underline;
}
.global {
    margin-top: 5ex;
    font-size: 180%;
    color: rgb(90%, 90%, 90%);
    border-bottom: 0px solid silver;
    margin-top: 1em;
    margin-bottom: 2em;
    font-variant: small-caps;
    /* font-weight:bold; */
}
ul {
    list-style-type: circle;
}
hr {
    text-align: left;
    height: 1px;
    color: rgb(90%, 90%, 90%);
}
footer {
    margin-top: 5%;
    padding-top: 1%;
    font-style: italic;
    font-size: small;
    text-align: center;
    color: rgb(60%, 60%, 60%);
    border-top: 1px solid silver;
    /* border-top: 1px solid silver; */
}
footer {
    font-style: italic;
    font-size: small;
    text-align: center;
    /* border-top: 1px solid silver; */
    color: rgb(60%, 60%, 60%);
}
.codeInput {
    padding-left: 1%;
    white-space: pre;
    width: 100%;
    color: rgb(10%, 10%, 10%);
    background-color: rgb(95%, 95%, 95%);
    font-family: Courier,monospace;

}
.codeOutput {
    padding-left: 2%;
    white-space: pre;
    width: 100%;
    color: blue;
    background-color: rgb(80%, 80%, 80%);
    font-family: monospace;
}
pre {
    border: 1pt solid #D9D9D9;
    background-color: #F2F2F2;
    padding: 2pt;
    font-family: 'Ubuntu Mono', sans-serif;
    font-size: 100%;
    overflow: auto;
}
pre.example {
    color: rgb(40%, 40%, 40%);
}
code {
    font-family: Courier,monospace;
    font-size: 110%;
}
p.last {
    margin-bottom: 3.0em;
}
body {
    width: 40%;
    padding-left: 5%;
    font-family: 'Noto Sans', sans-serif;
    font-size: 100%;
}
.navi {
    font-family: 'Noto Sans', sans-serif;
    width: 15%;
    font-size: 90%;
    position: fixed;
    top: 11%;
    right: 38%;
}
.navi2 {
    display:none;
    /* position: relative; */
    top: 12%;
    left:7%;
}
@media screen and (max-width:800px) {
    body {
        width: 90%;
    }
    .navi {
        display:none;
    }
    .navi2 {
        display:block;
    }
}
p.authors {
    font-size: 80%;
    margin-top: -1.5ex;
    margin-bottom: -0.5ex;
}
p.abstract {
    font-size: 100%;
}
p.pdflinks {
    font-size: 100%;
    margin-top: -1ex;
    margin-bottom: 4ex;
}
.journal {
    font-style: italic;
}
.marginnote {
    font-family: 'Noto Sans', sans-serif;
    font-style: italic;
    width: 15%;
    font-size: 70%;
    position: relative;
    right: 120%;
}