Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Print kinded tyvars in constructors for Hoogle (#993) | Alec Theriault | 2019-01-07 | 1 | -2/+8 |
* | Load plugins when compiling each module (#983) | Alec Theriault | 2018-12-20 | 2 | -6/+9 |
* | More uniform handling of `forall`'s in HTML/LaTeX | Alec Theriault | 2018-11-26 | 2 | -60/+50 |
* | Add blockquote styling | Alec Theriault | 2018-11-12 | 1 | -0/+7 |
* | Rename 'NewOcean' theme to 'Linuwial' | Alec Theriault | 2018-11-11 | 4 | -3/+3 |
* | Replace oplus/ominus expander/collapser icons with triangles | Alec Theriault | 2018-11-10 | 1 | -3/+3 |
* | Merge branch 'ghc-8.6' into wip/new-ocean | Alec Theriault | 2018-11-09 | 6 | -30/+45 |
|\ | |||||
| * | Only run MathJax on entities with "mathjax" class (#960) | Alec Theriault | 2018-11-05 | 2 | -11/+17 |
| * | Fix documentation in `haddock-api` (#957) | Alec Theriault | 2018-10-27 | 1 | -5/+5 |
| * | Avoid some partiality | Alec Theriault | 2018-10-26 | 3 | -13/+21 |
* | | Space out functions more | Alec Theriault | 2018-11-08 | 1 | -6/+2 |
* | | Clicking on "Contents" navigates to top of page | Alec Theriault | 2018-11-08 | 1 | -1/+1 |
* | | overflow-y 'scroll' -> 'auto' | Alec Theriault | 2018-11-07 | 1 | -2/+2 |
* | | Allow "Contents" summary to scroll in a fixed div | Alec Theriault | 2018-11-07 | 3 | -14/+13 |
* | | Fix issues around plus/minus | Alec Theriault | 2018-11-07 | 6 | -14/+11 |
* | | Revert "Make 'Contents' in NewOcean scrollable" | Alec Theriault | 2018-10-26 | 1 | -2/+0 |
* | | Make 'Contents' in NewOcean scrollable | Alec Theriault | 2018-10-26 | 1 | -0/+2 |
* | | Merge branch 'ghc-8.6' into wip/new-ocean | Alec Theriault | 2018-10-25 | 2 | -8/+11 |
|\| | |||||
| * | Avoid more conflicts in generated ids (#954) | Alec Theriault | 2018-10-25 | 1 | -6/+10 |
| * | Fix typo in a warning | Simon Jakobi | 2018-10-23 | 1 | -2/+1 |
* | | Indent more things + slightly smaller font | Alec Theriault | 2018-10-25 | 1 | -2/+2 |
* | | Don't hide bullets in method docs | Alec Theriault | 2018-10-25 | 2 | -4/+4 |
* | | Fix the synopsis button | Alec Theriault | 2018-10-24 | 1 | -5/+8 |
* | | Fix copy-pasta error in data-files | Alec Theriault | 2018-10-24 | 2 | -5/+5 |
* | | Resurrect the style-switcher | Alec Theriault | 2018-10-24 | 5 | -30/+42 |
* | | Update JS dependencies | Alec Theriault | 2018-10-24 | 4 | -1860/+3510 |
* | | Update 'data-files' to include NewOcean stuff | Alec Theriault | 2018-10-21 | 1 | -0/+5 |
* | | Make package-header caption backward-compatible | Nuno Alexandre | 2018-10-18 | 1 | -2/+2 |
* | | Improve code blocks styling | Nuno Alexandre | 2018-10-18 | 1 | -7/+25 |
* | | Update font in Xhtml.hs to PT Sans | Nuno Alexandre | 2018-10-18 | 1 | -1/+1 |
* | | Misc of tweaks | Nuno Alexandre | 2018-10-18 | 1 | -10/+32 |
* | | Use 'flex' to fix header alignment | Nuno Alexandre | 2018-10-18 | 1 | -11/+55 |
* | | Update font to PT Sans | Nuno Alexandre | 2018-10-18 | 1 | -13/+21 |
* | | Avoid name shadowing | alexbiehl | 2018-10-18 | 1 | -2/+3 |
* | | Fix issue with menu alignment on firefox | NunoAlexandre | 2018-10-18 | 1 | -0/+1 |
* | | Fix responsive triggers overlap issue | NunoAlexandre | 2018-10-18 | 1 | -4/+4 |
* | | Minor adjustments | NunoAlexandre | 2018-10-18 | 1 | -3/+11 |
* | | Improve information density | Nuno Alexandre | 2018-10-18 | 1 | -48/+74 |
* | | Make synopsis scrollable on wide screens | Nuno Alexandre | 2018-10-18 | 1 | -0/+1 |
* | | Address several PR comments | Nuno Alexandre | 2018-10-18 | 1 | -43/+78 |
* | | Add an initial-scale property to all haddock pages | Nuno Alexandre | 2018-10-18 | 1 | -2/+3 |
* | | Decrease space between code blocks | Nuno Alexandre | 2018-10-18 | 1 | -7/+7 |
* | | Improve synopsis style and code | Nuno Alexandre | 2018-10-18 | 1 | -13/+13 |
* | | Place the package name before the menu links | Nuno Alexandre | 2018-10-18 | 1 | -2/+2 |
* | | Make the style consistent with hackage | Nuno Alexandre | 2018-10-18 | 3 | -48/+66 |
* | | Make it responsive | NunoAlexandre | 2018-10-18 | 1 | -10/+61 |
* | | Update html test reference files | NunoAlexandre | 2018-10-18 | 2 | -3/+2 |
* | | Include custom font in the html head | NunoAlexandre | 2018-10-18 | 1 | -1/+2 |
* | | Improve appearance and readability | NunoAlexandre | 2018-10-18 | 1 | -22/+39 |
* | | Add NewOcean theme | alexbiehl | 2018-10-18 | 10 | -1/+648 |
|/ |