public files: fix two significant ui issues: directory listing isn’t visible once you click on a file; certain width makes “public” word too big/ugly
public files: fix two significant ui issues: directory listing isn’t visible once you click on a file; certain width makes “public” word too big/ugly

DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc