Bug#926336: tracker.debian.org: changing the sphinx theme from default to sphinx_rtd_theme

2019-04-04 Thread Raphael Hertzog
Hi, On Wed, 03 Apr 2019, Salman Mohammadi wrote: > Dear Maintainer, > > It would be nice if we changed the documentation (sphinx) theme from > *default* to *sphinx_rtd_theme*. I suppose it is more visually appealing. Why do you say "I suppose"? Do you find it more visually appealing or not?

Bug#926336: tracker.debian.org: changing the sphinx theme from default to sphinx_rtd_theme

2019-04-03 Thread Salman Mohammadi
Package: tracker.debian.org Severity: wishlist Dear Maintainer, It would be nice if we changed the documentation (sphinx) theme from *default* to *sphinx_rtd_theme*. I suppose it is more visually appealing. -- System Information: Debian Release: buster/sid APT prefers testing APT policy: (500,