/*
** javafx.css
*/

* {
    margin: 0px;
    border: 0px;
    padding: 0px;
    
    text-align: left;
    line-height: 22px;;
    background-color: inherit;
    color: inherit;
    
    font-family: inherit;
    font-size: inherit;
    font-weight: inherit;
}

body {
    margin: 0px;
    border: solid 0px;
    padding: 0px;
    
    text-align: left;
    line-height: 22px;
    background-color: white;
    color: black;
    
    font-family: Verdana, sans-serif;
    font-size: 14px;
    font-weight: normal;
}

h1 {
    margin: 1em auto;
    
    text-align: center;
    
    font-size: 24px;
    font-weight: bold;
}

h2 {
    margin: 1em 12px;
    
    font-size: 20px;
    font-weight: bold;
}

h3 {
    margin: 1em 12px;
    
    font-size: 20px;
}

div {
    margin: 12px;
}

div.page {
    margin: 24px 10%;
}

div.page8 {
    counter-reset: precounter 7;
}

pre {
    position: relative;
    
    overflow-x: auto;
    
    margin: 12px;
    padding: 24px;
    
    background-color: #d0d0d0;
    
    font-family: monospace;
    
    counter-increment: precounter 1;
}

pre::before {
    position: absolute;
    right: 0px;
    top: 0px;
    
    display: block;
    width: 36px;
    height: 36px;
    
    border: solid 1px black;
    border-radius: 18px;
    
    line-height: 36px;
    text-align: center;
    background-color: white;
    color: black;
    
    content: counter(precounter);
}

pre > br {
    margin: 0px;
}

img {
    display: block;

    margin: 24px 60px;
}

a {
    line-height: 36px;
    color: green;
    
    font-size: 24px;
}

.changelog {
    padding: 24px;
    
    background-color: #e0ffe0;
}

ul {
    margin-left: 48px;
    list-style: disc;
}

li {
    text-indent: 0px;
}

.tableofcontent {
    padding: 24px;
    
    background-color: #e0e0ff;
}

.tableofcontent > a {
    display: block;
    
    margin-left: 24px;
    
    line-height: 24px;
    
    font-size: 14px;
}