aboutsummaryrefslogtreecommitdiff
path: root/docs/css
Commit message (Expand)AuthorAgeFilesLines
* Implement remainder of type membersFelix Mulder2017-01-311-1/+1
* Port old site to dottydocFelix Mulder2017-01-311-298/+0
* Update documentation for new sbt commandsFelix Mulder2016-11-221-1/+6
* 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