@import url("style.css");
@import url("menu.css");

body{
    padding:0.5rem;
    background:#eee;
    font-family:Arial,Helvetica,sans-serif;
}

a{text-decoration:none;}

img{display: block; background:white;}

h1{
    width:100%;
    margin:auto;
    text-align:center;
    padding:0.3rem;
    margin:1rem 0;
}
h1 .subtitle{font-size:0.8em;}
h2{
    margin:1rem 0;
}
h3{
    margin:1rem 0;
}
svg, .svg{
    margin:1rem;
    border:1px solid grey;
}

.index li{list-style-type:none;}
.intro{
    font-size:1.2rem;
    margin:1rem 0 1rem 2rem;
}

/* table of content */
.toc{font-family:Arial,Helvetica,sans-serif;}
.toc ul{list-style-type:none;}
.toc{padding:0;}
.toc>ul>li>a{font-weight:bold;}
.toc>ul>li>ul{padding-left:1.3rem;}

/* Navigation */
.prevnext{
    font-family:DejaVu,serif;
    position:fixed; top:0px; right:0px;
    margin:1rem;
    width:75px; height:40px
}
.prevnext a{
    display:inline-block;
    position:fixed;
    width:40px; height:40px;
    text-decoration:none;
    font-weight:bolder;
    font-size:2rem;
}
.prevnext a.index{top:0px; right:10px; font-size:0.5rem;}
.prevnext a.top{top:0px; right:40px;}
.prevnext a.prev{top:25px; right:75px;}
.prevnext a.next{top:25px; right:5px;}