aboutsummaryrefslogtreecommitdiff
path: root/docs/css/main.scss
Commit message (Collapse)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-071-7/+9
|
* Add Jekyll as static site generatorFelix Mulder2016-10-061-0/+238