Skip to content
Snippets Groups Projects
  1. Nov 09, 2018
  2. Nov 08, 2018
  3. Nov 07, 2018
  4. Nov 05, 2018
  5. Oct 27, 2018
    • 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
  6. Oct 26, 2018
  7. Oct 25, 2018
    • 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
  8. Oct 24, 2018
    • 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
  9. Oct 23, 2018
  10. Oct 21, 2018
  11. Oct 18, 2018
Loading