const USER_STYLESHEET: &str = "css/html-user.css";
Path to the user-editable stylesheet overlaid on top of the viewer styles.