gustafn
committed
on 31 Jul 18
make shell window span the full browser width, provide some styling