html {
    scroll-behavior: smooth;
    
    /* add this offset to accommodate page header (so navign does not take user to underneath page header) */
    /*scroll-padding-top: 150px; Done in javascript instead (to accommodate mobile phone issues herewith) */
}

/*
    Not used (edit javascript directly)
    Prefer to explicitly set background-color of navigation target element (whenever parameter set to TRUE) rather than
    altering the class list of the navigation target element
*/
.sn_highlighter {
    background-color: beige; /* no effect (see note above, thus-why) */
}