|
menu.css
|
Display current version number
|
2017-02-16 11:47:32 +01:00 |
|
menu.js
|
Navigate menu by clicks instead of hover
|
2017-02-15 20:40:26 +01:00 |
|
template-head
|
Updated titles and other cosmetic details
|
2017-05-02 16:02:01 +02:00 |
|
template-tail
|
Updated titles and other cosmetic details
|
2017-05-02 16:02:01 +02:00 |
|
web.py
|
Updated titles and other cosmetic details
|
2017-05-02 16:02:01 +02:00 |