Search: buttons should be centered #906
Description
The search buttons are too close to the "Table of Contents" on the left. They should be centered between "Table of Contents" and the "Previous"/"Next" buttons.
{{ message }}
The search buttons are too close to the "Table of Contents" on the left. They should be centered between "Table of Contents" and the "Previous"/"Next" buttons.