|
fonts
|
Add tag icon
|
2017-05-12 20:54:26 +02:00 |
|
img
|
Add new static assets
|
2017-05-12 15:48:21 +02:00 |
|
header.css
|
Minor title style improvement
|
2017-06-25 22:50:58 +02:00 |
|
script.js
|
Set line's anchor scroll jump to 20%
|
2017-05-24 18:18:10 +02:00 |
|
web.py
|
Strip whitespace from identifier queries
|
2017-06-30 15:44:53 +02:00 |
