Fix dictionary layout.
Allow JMol panel hiding instead of full closing.
Fix coloring of ungroupped items.
Add user manual.