div, h1, h2, h3, p, img {
    position: relative;
    box-sizing: border-box;
    overflow: auto;
}

div, img, h1 {
    width: 100%;
}

body {
    max-width: 720pt;
    padding-left: 16pt;
    padding-right: 16pt;
    margin-left: auto;
    margin-right: auto;
    font-family: 'Open sans', sans-serif;
    font-size: 12pt;
    line-height: 1.5em;
}

div.nav {
    padding-top: 90pt;
    width: 100pt;
    margin-right: 20pt;
    float: left;
}

div.nav p {
    font-size: 10pt;
    line-height: 1.4em;
}

div.content {
    width: 600pt;
    float: left;
}

h1 {
    margin-top: 24pt;
    line-height: 2em;
}

h3, h4 {
    margin-bottom: 0pt;
}

h3 {
    margin-top: 24pt;
}

p {
    margin-top: 0pt;
    margin-bottom: 0pt;
}

p + p, div.exampleBlock + p {
    margin-top: 16pt;
}


p.code {
    margin-top: 0pt;
    margin-bottom: 0pt;
    font-family: monospace;
    font-size: 12pt;
    color: gray;
}


div.exampleBlock {
    width: 600pt;
    color: gray;
}

div.exampleBlock h4 {
    margin-top: 0pt;
}

div.exampleBlock p, div.exampleBlock {
    font-family: monospace;
    font-size: 12pt;
    line-height: 16pt;
    margin-top: 0pt;
    margin-bottom: 0pt;
}

div.exampleLeft {
    float: left;
    width: 300pt;
}

div.exampleRight {
    float: left;
    width: 300pt;
}