/* Increase the margin a little bit such that it doesn't look too crowded
 * on the menu side bar.
 */
#R-topics {
    margin-left: 0.5em;
}