Issue #134: original issue #716496 adding theme function documentation.