summaryrefslogtreecommitdiff
path: root/spec/_layouts/default.yml
Commit message (Collapse)AuthorAgeFilesLines
* Spec updates for Sammy.Adriaan Moors2016-03-261-1/+1
| | | | | | | | | - Upgrade MathJax to 2.6. This fixes the vertical bar problem on Chrome (https://github.com/mathjax/MathJax/issues/1300); - Disambiguate link to Dynamic Selection; - Consolidate type relations; - Formatting, whitespace and linebreaks; - SAM conversion.
* Spec improvementsSimon Ochsenreither2015-04-251-58/+14
|
* spec: a header that links to the index, with a scala logoAntoine Gourlay2014-09-231-0/+8
| | | | ...and a Scala favicon.
* spec: a print stylesheet to remove the TOC when printingAntoine Gourlay2014-09-231-0/+1
|
* spec: generated TOC with linkable headersAntoine Gourlay2014-09-221-2/+30
| | | | | | | | | | | | | This adds a table of contents to the spec, with a way to get the link of a header on hover (like on GitHub) and a "return to top" small icon at the end of each section. Jekyll generates the H1-level table of contents, and then the current one is expended using jQuery all the way down to H5 titles. Examples and H6 headers are ignored. GitHub's (MIT licensed) octicons are used for nice "link" and "up" icons.
* spec: add syntax highlighting for scala code with highlight.jsAntoine Gourlay2014-09-171-0/+17
| | | | | | | | | | | This adds syntax highlighting for all code scala blocks. Highlighting is done after MathJax is done rendering so that latex can be used in code blocks (and it currently *is* used). Sadly Scala isn't common enough to be bundled in the highlight.min.js available from CDNs, so we commit a local version of version 8.2 with only scala bundled in it. The only other language used (ebnf) isn't supported by highlight.js.
* spec: use the yaml title as the HTML titleAntoine Gourlay2014-09-151-2/+2
|
* Fix broken URL for MathJAX Javascript dependency.Jason Zaugg2014-09-081-1/+1
| | | | | | | | Loaded using an DNS alias for the CDN, as per the [instructions](http://docs.mathjax.org/en/latest/configuration.html) I also switched from `latest` to `2.3-latest`, so that we don't automatically perform major upgrades.
* Jekyll generated html in spec/ directoryAdriaan Moors2014-03-271-0/+36
To avoid confusion, removing artifacts for currently unsupported targets (pdf/single-page html). I'd like to bring those back, but in the mean time let's avoid distractions. Add Travis build.