Demo: output html highlight + minor style updates