pre {
    border: solid 1px #d1d4d5;
    font-family: Monaco, Consolas, Lucida Console, monospace;
    font-size: 13px;
    line-height: 1.8;
    margin: 6pt 0 6pt 0;
    overflow: scroll;
    padding: 14px;
    width: 100%;
}

code {
    font-size: 85%;
}

img {
    margin-top: 8pt;
}

img.screenshot {
    -webkit-box-shadow: 0px 8px 12px 0px rgba(50, 50, 50, 0.75);
    -moz-box-shadow: 0px 8px 12px 0px rgba(50, 50, 50, 0.75);
    box-shadow: 0px 8px 12px 0px rgba(50, 50, 50, 0.75);
    margin: 8pt auto 18pt auto;
}

div.section li {
    margin-top: 12pt;
}

li.toctree-l1 {
    margin-top: 12pt;
}

li.toctree-l2:first-child {
    display: none;
}

p {
    margin-top: 20px;
    margin-bottom: 16px;
}