add bar for document titles
basic css adaptions for diff viewer
space fixes; moved logo
Merge pull request #51 from janno42/design

Design changes