1. 20 Dec, 2018 1 commit
  2. 26 Nov, 2018 1 commit
  3. 12 Nov, 2018 2 commits
  4. 10 Nov, 2018 3 commits
  5. 09 Nov, 2018 3 commits
  6. 08 Nov, 2018 1 commit
  7. 07 Nov, 2018 3 commits
  8. 05 Nov, 2018 1 commit
  9. 27 Oct, 2018 1 commit
    • Alec Theriault's avatar
      Fix documentation in `haddock-api` (#957) · 0d9a81e2
      Alec Theriault authored
      * Fix misplaced Haddocks in Haddock itself
      
      Haddock should be able to generate documentation for 'haddock-api'
      again.
      
      * Make CI check that documentation can be built.
      
      * Add back a doc that is OK
      0d9a81e2
  10. 26 Oct, 2018 9 commits
  11. 25 Oct, 2018 3 commits
    • Alec Theriault's avatar
      Fix the synopsis button · ed1a0c92
      Alec Theriault authored
      Here's these changes are supposed to do:
      
        * put the synopsis back on the right side
        * properly have it on the edge of the screen on wide screens
        * adjust the background of the synopsis to match the button
          (otherwise the grey blends in with what is underneath)
        * get rid of the dotted purple line
        * the synopsis contents are now scrollable even when in wide
          screens (this has been a long-standing bug)
      ed1a0c92
    • Alec Theriault's avatar
      Fix copy-pasta error in data-files · dd45b10d
      Alec Theriault authored
      dd45b10d
    • Alec Theriault's avatar
      Resurrect the style-switcher · a6931170
      Alec Theriault authored
      This fixes #810. Looks like things were broken during the quickjump
      refactor of the JS.
      
      For the (git) record: I do not think the style switcher is a good idea.
      I'm fixing it for the same reason @mzero added it; as an answer to
      
        "rumblings from some that they didn't want their pixels changed on bit"
      a6931170
  12. 24 Oct, 2018 1 commit
    • Alec Theriault's avatar
      Update JS dependencies · 67a14227
      Alec Theriault authored
      This was done via `npm audit fix`. I think this fixes #903 along with
      some more serious vulnerabilities that nobody seems to have noticed.
      67a14227
  13. 23 Oct, 2018 1 commit
  14. 21 Oct, 2018 2 commits
  15. 18 Oct, 2018 8 commits