1. 05 Sep, 2020 2 commits
  2. 04 Sep, 2020 2 commits
  3. 26 Jul, 2020 1 commit
  4. 02 Jul, 2020 3 commits
    • Raymond Toy's avatar
      Use PT Sans, PT Serif, and PT Mono for fonts · b1f81695
      Raymond Toy authored
      I'm so used to serif body font that it looks funny with sans-serif
      body font.  So replace everything with PT Sans (headings), PT Serif
      (body), and PT Mono (code).
      b1f81695
    • Raymond Toy's avatar
      Merge branch 'use-webfont' into 'master' · 971acb2b
      Raymond Toy authored
      Use webfont so page looks the same everywhere.
      
      See merge request !35
      971acb2b
    • Raymond Toy's avatar
      Use webfont so page looks the same everywhere. · 6c8a4cbb
      Raymond Toy authored
      Well, only tested with Chrome and Firefox.
      
      Somewhat arbitrarily choose Roboto and Roboto Mono because Roboto is a
      san-serif font that we were already using and because it has a
      monospaced version that matches (more or less).
      
      Also set the line spacing to 1.5 so it's not too cramped for mobile
      and desktop.
      
      Let everything inherit the font-family from html instead of specifying
      a font-family for each header type.  (We were using the same set
      before anyway.)
      6c8a4cbb
  5. 04 Apr, 2020 2 commits
  6. 21 Mar, 2020 2 commits
  7. 16 Mar, 2020 4 commits
  8. 15 Mar, 2020 2 commits
  9. 14 Mar, 2020 10 commits
  10. 04 Mar, 2020 2 commits
  11. 03 Mar, 2020 2 commits
    • Raymond Toy's avatar
      Update the links to gmane. · f3b87ed0
      Raymond Toy authored
      Gmane has moved from news.gmane.org to news.gmane.io and the http
      interface is gone.  Only nntp is available.  Update the links to the
      groups to use news instead of http.
      f3b87ed0
    • Raymond Toy's avatar
      Highlight nav entry with color, not larger font · 8c4f11ce
      Raymond Toy authored
      As it says, just use a color (but still bold) to highlight the navbar
      entry.  Hopefully, this works better with Chrome on mobile so that the
      navbar entry doesn't spill into the main text area.  For some reason,
      this works just fine on Firefox.
      8c4f11ce
  12. 01 Mar, 2020 8 commits