6a83ae7661
We had an hardcoded mobile banner that was nice looking but couldn't deal with all the content for the various banners we want to display. Also, it was a separate element to the desktop one. Unify them as a single element that adapts (as it should) to desktop or mobile viewports. |
||
|---|---|---|
| .. | ||
| error.html | ||
| header.html | ||
| ident.html | ||
| layout.html | ||
| sidebar.html | ||
| source.html | ||
| topbar.html | ||
| tree.html | ||