On Wed, Aug 26, 2020 at 4:34 AM Luc Saffre wrote: > >> On 25.08.20 11:29, Matthias Geier wrote: >> >> If you find any other problems, please let me know! > > > One minor problem : the links to previous and next page are too big for my > taste. Also the general docs title is a bit too big. (I guess that I can > customize the relevant css, but if you agree with me, you maybe want to > change the default size)
Yes, that sounds reasonable. Do you have concrete font sizes that you would prefer? Would you like to make a PR? https://github.com/mgeier/insipid-sphinx-theme/pulls cheers, Matthias -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/CAFesC-e6Vjcx1%3DCwgFP7-JZ8%3DHSEBJf7L1Zwr9YBov71jHCAbA%40mail.gmail.com.
