exist-db stylesheet: smaller header for mobile devices.
Optimize apputil:resolve-abbrev, which is called many times when rendering a page from the default exist-db apps.