HTML extensions for rhino