Played with adding a colgroup to see if something useful could be done with the column widths in the directory area. Not really, so css commented out
Authored by: Jean-Francois Dockes 2017-05-10
Parent(s): [ff230f]
Child(ren): [10412f]
