Fluxbox tweaks