docs: revert to the built-in doxygen theme
Our customized theme has diverged too much from what recent versions
of doxygen expect and thus it produces partially broken pages.
So let's just go back to the default theme for now (with a slightly
lower gamma). Another benefit is that we gain a togglable light/dark
mode for free.
Change-Id: Ic143866aae93fd9733c0c0354b9c3dc2d8e68f2f
diff --git a/docs/doxygen-logo.css b/docs/doxygen-logo.css
new file mode 100644
index 0000000..0d1e003
--- /dev/null
+++ b/docs/doxygen-logo.css
@@ -0,0 +1,2 @@
+#projectlogo { vertical-align: middle; }
+#projectlogo img { height: 50px; width: 200px; }