Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'ghc-8.6' into wip/new-ocean | Alec Theriault | 2018-11-09 | 1 | -1/+3 |
|\ | |||||
| * | Only run MathJax on entities with "mathjax" class (#960) | Alec Theriault | 2018-11-05 | 1 | -1/+3 |
| | | | | | | | | | | | | | | Correspondingly, we wrap all inline/diplay math in <span class="mathjax"> ... the math .... </span> This fixes #959. | ||||
* | | Update test-suite reference html pages | Nuno Alexandre | 2018-10-18 | 1 | -3/+3 |
| | | |||||
* | | html-test --accept | Herbert Valerio Riedel | 2018-10-18 | 1 | -1/+1 |
| | | |||||
* | | Add an initial-scale property to all haddock pages | Nuno Alexandre | 2018-10-18 | 1 | -0/+1 |
| | | | | | | | | | | This solves an issue reported about the content looking incredibly small on mobile devices. | ||||
* | | Update html-test reference files | Nuno Alexandre | 2018-10-18 | 1 | -3/+3 |
| | | | | | | | | | | The package name element in the package-header is now a div instead of a paragraph, and it is now above the menu ul.links instead of below. | ||||
* | | Update html test reference files | NunoAlexandre | 2018-10-18 | 1 | -0/+1 |
|/ | |||||
* | Add compile step that bundles and compresses JS files (#684) | Tim Baumann | 2017-09-23 | 1 | -17/+2 |
| | | | | | | | | | | | | | | | | | | * Add compile step that bundles and compresses JS files Also, manage dependencies on third-party JS libraries using NPM. * Compile JS from TypeScript * Enable 'noImplicitAny' in TypeScript * QuickJump: use JSX syntax * Generate source maps from TypeScript for easier debugging * TypeScript: more accurate type * Separate quick jump css file from ocean theme | ||||
* | Fix test fallout (again) | alexbiehl | 2017-08-29 | 1 | -0/+5 |
| | |||||
* | Accept tests | alexbiehl | 2017-08-28 | 1 | -6/+6 |
| | |||||
* | Fix tests for content search | alexbiehl | 2017-08-28 | 1 | -0/+6 |
| | |||||
* | Document record fields when DuplicateRecordFields is enabled (#649) | Alex Biehl | 2017-07-03 | 1 | -0/+160 |