dokpro: Use underline instead of italic.
dokpro: Clean up the type checking slightly.