various style tweaks
[~bandali/bndl.org] / se212-f19 / se212-t05.org
2019-11-21 Amin Bandalicommit another bunch of changes