Make gloss margin bars thicker
Made hudbuttons bigger and a little animated on touch devices
Use shrink rule for skimming, establish #CODEXPAGE rule dynamically (can be modified)
Rename to Codex.Trace.domscan
Update skimming model to use explicit direction (1,-1,0) and scale the CODEXPAGE to have extra space on the top when previewing or skimming