/* This indents sub-entries in the index. For example, this css would change this:
 *
 *     add_edge() (ddg.halfedge.Surface method)
 *     (ddg.halfedge.surface.Surface method)
 *
 *  to this:
 *
 *     add_edge() (ddg.halfedge.Surface method)
 *        (ddg.halfedge.surface.Surface method)
 *
 *  Which makes it much easier to distinguish actual entries.
 *  We also customized the genindex.html template to improve the index even more,
 *  resulting in
 *
 *     add_edge()
 *        (ddg.halfedge.Surface method)
 *        (ddg.halfedge.surface.Surface method)
 *
 *  where add_edge() is not a link anymore. Previously the whole first line would be
 *  the link to the first definition.
 */
#index ~ ul li ul {
    margin-left: 24px;
}

/* Put some space between the above-mentioned blocks for even better separation */
#index ~ ul > li {
    margin-bottom: 12px;
}

/* Header margins were weird */
#index ~ h2 {
    margin-top: 24px;
    margin-bottom: 12px;
}

/* this disables line breaking for long names and instead makes the section for that
 * letter in the alphabet scrollable.
 */
#index ~ ul {
    text-wrap: nowrap;
    overflow: auto;
}