CSS margin-tweaks
made installing your own docker server instructions more explicit
test fixes
added <-> between was-now tags on diff-dialog
minor ux tweaks
switched to 12pt code font; increased height of textarea slightly; reduced height of filenames-list so traffic-lights are not pushed down
added comment
updated scripts to use new default format in LinuxPaas ctor