deegree/deegree3 — pull request #188 by segoerke (2013-11-24 11:32:03+00:00)
Title: Documentation enhancement

This includes light changes on the documentation css file and enhanced documentation on styling plus a new filter encoding documentation.