/* A few custom CSS properties to tweak the layout of the "classic" documentation */

/* Move the related class right by 400px so that it does not overwrite the contents */
div.related ul {
    margin: 0 0 0 400px;
}

/* Move the related class right by 200px so that it does not overwrite the contents and is centered */
div.footer {
    margin: 0 0 0 200px;
}

/* Make deprecated things stand out in red */
.deprecated {
    color: red;
}