fonts
|
Added computer modern fonts, but I do not use them.
|
2020-05-24 13:37:21 +02:00 |
nice.css
|
improvements, simplifications
|
2020-08-06 10:29:34 +02:00 |
slides.css
|
cleanup style
|
2020-08-08 11:19:34 +02:00 |
y.css
|
Improve slightly css
|
2020-08-20 22:55:45 +02:00 |