added time operations script to index header
added highlighted text support
added highlighted text support
Merge branch 'Hassan' into DIRK
Fixed disappearing button

Text mode section disappeared after using one of the buttons in the
menu. This bug is fixed.
Merge pull request #5 from jannah/DIRK

Dirk