1.13.4

(1) Upgrade procedure fixed.  New options added.  Two CSS styles
(nightmode/daymode).