Skip to content
Snippets Groups Projects
  1. Feb 04, 2022
  2. Jan 05, 2022
  3. Nov 15, 2021
  4. Oct 21, 2021
  5. Sep 02, 2021
    • Emmanuele Bassi's avatar
      template: Switch to Solarized for syntax highlighting · 90dc18aa
      Emmanuele Bassi authored
      The default theme doesn't really work well in dark mode, and even in
      light mode it "screams" a lot.
      
      The Solarized color scheme, on the other hand, looks better in light
      mode, and has a dark mode as well.
      
      We can use the @import rule to determine whether to load the light or
      dark Solarized scheme depending on the browser settings.
      
      Fixes: #101
      90dc18aa
  6. Aug 23, 2021
  7. Jun 08, 2021
  8. Jun 07, 2021
    • Emmanuele Bassi's avatar
      template: Add content navigation · a5527409
      Emmanuele Bassi authored
      Some pages, like the class, interface, and structure indices, can get
      arbitrarily long. It makes sense to provide a quick navigation aid to
      jump to the appropriate section right from the top, just like we have
      the "jump to the top" button.
      a5527409
  9. May 24, 2021
  10. May 21, 2021
  11. May 18, 2021
    • Emmanuele Bassi's avatar
      template: Use a stylable separator for the heading · ee630c37
      Emmanuele Bassi authored
      The dot can be confused with actual syntax, so we should use something
      else to separate the clickable elements of the heading.
      
      Instead of hard coding the separator, we can use an empty <span> and
      then use CSS to fill it out.
      
      Fixes: #81
      ee630c37
  12. May 08, 2021
  13. Apr 11, 2021
  14. Apr 01, 2021
  15. Mar 31, 2021
  16. Mar 29, 2021
  17. Mar 28, 2021
  18. Mar 15, 2021
  19. Mar 11, 2021
  20. Mar 08, 2021
  21. Mar 07, 2021
  22. Mar 04, 2021
    • Emmanuele Bassi's avatar
      template: Hook up the "go to top" button v2 · 6fdef990
      Emmanuele Bassi authored
      Show the button when the content scrolls for more than an arbitrary
      amount of pixels; when pressing it, we scroll back to the top. This
      should help with long pages.
      
      The button is above the content block, to avoid contributing to the
      sizing and layout, since it'll be floating at a fixed position above
      the actual content.
      6fdef990
  23. Mar 03, 2021
  24. Mar 02, 2021
  25. Feb 19, 2021
  26. Feb 18, 2021
Loading