by moving some dynamic HTML generation to templates. Also fixes no-js CSS a bit by hiding useless elements. |
||
|---|---|---|
| .. | ||
| error.html | ||
| header.html | ||
| ident.html | ||
| layout.html | ||
| sidebar.html | ||
| source.html | ||
| topbar.html | ||
| tree.html | ||
by moving some dynamic HTML generation to templates. Also fixes no-js CSS a bit by hiding useless elements. |
||
|---|---|---|
| .. | ||
| error.html | ||
| header.html | ||
| ident.html | ||
| layout.html | ||
| sidebar.html | ||
| source.html | ||
| topbar.html | ||
| tree.html | ||