body {
    font-family: Verdana, sans-serif;
    font-size: 100%;
    line-height: 140%;

}
p {
    text-align: justify;
    hyphens: auto;
}
@media only screen {
    body{
        margin: auto;
        padding-right: 1em;
        padding-left: 1em;
        border-left: 1px solid black;
        border-right: 1px solid black;
    }
}
@media only print {
    body {
	font-size: 12pt;
    }
    #TOC {
        display: none
    }
}
@media only screen and not (min-width: 88em) {
    body {
        max-width: 44em;
    }
    #nav-toggle {
        position: fixed;
        right: 0.5em;
        top: 1em;
        width: 1em;
        height: 1em;
        background: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" fill="rgb(0, 0, 0)"><rect y="0" width="100%" height="20%" rx="5%" ry="5%" /><rect y="40%" width="100%" height="20%" rx="5%" ry="5%" /><rect y="80%" width="100%" height="20%" rx="5%" ry="5%" /></svg>') center / 80% 80% no-repeat;
    }
    #TOC {
        display: none;
    }
    #TOC:target {
        display: block;
    }
}
@media only screen and (min-width: 88em) {
    body {
        max-width: 50%;

        background-image: url("dfinity.png");
        background-position: bottom 1em right 1em; /*Positioning*/
        background-repeat: no-repeat; /*Prevent showing multiple background images*/
        background-attachment: fixed;
        background-size: 20%;
    }

    #TOC {
        width: 20%;
        position: fixed;
        left: 0;
        top: 0;
        height: 100%;
        overflow: auto;
    }

}
#TOC ul {
    padding-left:1em;
}
#TOC ul {
    margin-left: 0em;
    padding-left: 1em;
}
#TOC a {
    text-decoration: none;
    color: blue;
}
#TOC a:visited {
    text-decoration: none;
    color: blue;
}
pre {
    border: 1px dotted gray;
    background-color: #ececec;
    color: #1111111;
    padding: 0.5em;
}
code {
    font-family: monospace;
}
h1 a, h2 a, h3 a, h4 a, h5 a { 
    text-decoration: none;
    color: #7a5ada; 
}
h1, h2, h3, h4, h5 { font-family: verdana;
                     font-weight: bold;
                     border-bottom: 1px dotted black;
                     color: #7a5ada; }
h1 {
        font-size: 130%;
}

h2 {
        font-size: 110%;
}

h3 {
        font-size: 95%;
}

h4 {
        font-size: 90%;
        font-style: italic;
}

h5 {
        font-size: 90%;
        font-style: italic;
}

h1.title {
        font-size: 200%;
        font-weight: bold;
        padding-top: 0.2em;
        padding-bottom: 0.2em;
        text-align: left;
        border: none;
}

dt code {
        font-weight: bold;
}
dd p {
        margin-top: 0;
}

#footer {
        padding-top: 1em;
        font-size: 70%;
        color: gray;
        text-align: center;
        }