bring back the top and bottom borders for the primary toolbar

apparently we should be using a header bar there, but since we're not doing
that yet, instead we have css to make it look slightly less awful.