more properties displayed, a few links fixed, DSL code hilighting changed