tree 3f654f3009c0f54f79eada0227fb2c30a1ea6b6c
parent 28530b6f03f23e66d255d8100047dd0e7846e9d4
author Davide Pesavento <davidepesa@gmail.com> 1746667293 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1746667293 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQDWNFNYETHCb38iDIplBSSIIOFikCpFaPvfqirDm4NDEUBBR6DU4j4Mv78qPRpCGsg
 bx+uhBiGVPmcLKZMhksg4=
 -----END SSH SIGNATURE-----

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