doc theme update; fixes #283; fixes #284