Now there was the question on how to get all the different standard and widget specific options mapped to the style properties of a DOM element.
(Part of Tk Widgets in Javascript Paper)