ceylondoc: synch syntax highlighting with current version in ceylon-lang.org