On Thu, 4 Aug 2022, 02:29 Kwankyu Lee, <ekwan...@gmail.com> wrote: > Dear Sage developers, > > Furo is a clean customisable Sphinx documentation theme. It has been an > optional pip package since Sage 9.7.beta2. > > Meanwhile we made efforts to make Furo a new theme for our documentation > through > > https://trac.sagemath.org/ticket/33601 > https://trac.sagemath.org/ticket/34252 > https://trac.sagemath.org/ticket/33833 > > Now it is ready to replace the current Sage classic theme that makes our > documentation look awfully outdated. You can check the documentation with > new look and feel in >
maybe I used Sage for too long, but I am fine with current layout, and I find the look in the example URL too bland, and less clearly separating code and non-code. Can we hear about advantages of furo beyond "look" ? I don't at all mind having your layout as an option, needless to say. > > https://2505ea042169d8a179d4b1f28a0c0baeabdd421a--sagemath-tobias.netlify.app/ > > It would be great that Sage 9.7 will be released with the lifted-up > documentation. > > So we propose here to upgrade the Furo package to a standard package. > Please vote. > > > > > > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/f0478d5c-6005-4a30-b96e-5b9b2e37b213n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/f0478d5c-6005-4a30-b96e-5b9b2e37b213n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0CY46KY-NBfN5iPuoC0nA9pDf%2BNimyMRasMf5ZU2KWfQ%40mail.gmail.com.
