polished line-numbers CSS; aligned top-left info with top-right traffic-lights; removed titlebar from diff-dialog to get extra height; used extra height on diff content