A small collection of themes for OpenBox