aboutsummaryrefslogtreecommitdiff
path: root/docs/css
Commit message (Expand)AuthorAgeFilesLines
* Fix highlighting in search, add highlights in forwarding linksFelix Mulder2016-11-071-1/+1
* Fix #1675: add `edit on github` buttonFelix Mulder2016-11-071-0/+7
* Fix #1674: add search to doc siteFelix Mulder2016-11-071-4/+50
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-073-7/+3893
* Add Jekyll as static site generatorFelix Mulder2016-10-061-0/+238