|
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 |
|
style.css
|
Integrate CGI front end
|
2017-02-06 16:31:43 +01:00 |
|
template-head
|
Add support links
|
2017-02-16 16:53:09 +01:00 |
|
template-tail
|
Add support links
|
2017-02-16 16:53:09 +01:00 |
|
web.py
|
Navigate menu by clicks instead of hover
|
2017-02-15 20:40:26 +01:00 |
