/**
 * Hide document title from the header
 */
#documentName {
    display: none;
}