better-defined and more-robust styledoc integration