AdaCore / startup-gen

A startup code generator for embedded projects
28 stars 9 forks source link

Switch the HTML documentation to using the RTD theme #34

Closed brobecke closed 2 years ago

brobecke commented 2 years ago

This commit adjust the sphinx configuration to use the "Read The Docs" theme, which has the advantage of allowing the navigation bar (containing among other things a search bar, and the TOC) to stay fixed while scrolling the contents of the page being read. This is particularly useful to allow access to those features while reading a long page, for instance.

TN: VB25-029

Fabien-Chouteau commented 2 years ago

Thanks @brobecke