Skip to content
Snippets Groups Projects
  1. Jan 23, 2023
    • vlorentz's avatar
      Remove second-level headings from the dev doc + hide TOC · edda8b3a
      vlorentz authored and vlorentz's avatar vlorentz committed
      The only two titles at the second level were 'Important documentation links'
      and 'Content', which look weird and are not very useful.
      
      And this level prevented headings inside package documentation from being
      shown in the TOC at all, which means the TOC couldn't be used to navigate
      within a package's documentation.
      edda8b3a
    • vlorentz's avatar
      Increase RTD's navigation depth from 4 to 5 · 4a10c3e4
      vlorentz authored and vlorentz's avatar vlorentz committed
      To match the level we had de facto before merging devel/sysadm/user
      into a single tree
      4a10c3e4
  2. Jan 22, 2023
    • vlorentz's avatar
      Configure RTD theme to use titles only · 78847c40
      vlorentz authored
      0e55968d removed :titlesonly: from the
      root toctree, which caused sphinx_rtd_theme to switch the mode it uses
      to display *all* sidebars.
      
      This config change reverts this behavior, but keeps the content of
      pages unchanged.
      78847c40
  3. Jan 17, 2023
  4. Jan 16, 2023
  5. Jan 13, 2023
  6. Jan 12, 2023
  7. Jan 09, 2023
  8. Jan 06, 2023
  9. Jan 03, 2023
  10. Dec 19, 2022
  11. Dec 14, 2022
  12. Dec 12, 2022
  13. Dec 09, 2022
  14. Dec 06, 2022
  15. Nov 30, 2022
  16. Nov 29, 2022
  17. Nov 28, 2022
  18. Nov 23, 2022
  19. Nov 22, 2022
  20. Nov 21, 2022
  21. Nov 18, 2022
Loading