index.jade: filter buttons smaller