integrate new syntax highlighter in ceylondoc
various cosmetic improvements to css