Minor tweaks to DimGray theme...