Minor f2cl tweak
Doc theme tweak