Bugfix/doxygen layout
This merge request (hopefully) fixes two layout issues for Doxygen documentation:
- The search box was too far right. I don't know and can't check how it looks on small devices. I guess you don't want to use those for browsing Doxygen anyway ;).
- The List under Related Pages (eg. Todo List) were broken due to style.css overwriting some dt settings. Overwriting back to default values solves this issue.