2018-05-23 | Ralf Jung | fix black bar to the left of the small-screen view | blob | commitdiff | raw |
2018-05-23 | Ralf Jung | add MPI-SWS imrpint links | blob | commitdiff | raw | diff to current |
2018-04-06 | Ralf Jung | CSS: no background color when printing | blob | commitdiff | raw | diff to current |
2016-01-13 | Ralf Jung | fix frame computation | blob | commitdiff | raw | diff to current |
2016-01-02 | Ralf Jung | tune spacing | blob | commitdiff | raw | diff to current |
2016-01-02 | Ralf Jung | split CSS into several files; take some CSS from the... | blob | commitdiff | raw | diff to current |