|
css
|
Menu tabs: add margin transition (on hover/active)
|
2020-06-21 22:56:12 +02:00 |
|
doc
|
Update oopsla19 slides
|
2019-10-25 11:14:07 +03:00 |
|
fonts
|
Hugo: bootstrap from cs.tobast.fr
|
2019-10-10 17:38:22 +02:00 |
|
img
|
Rescale & reduce quality of me{,_face}.jpg
|
2019-10-10 17:40:17 +02:00 |
