projects / web.git / history
| 2023-09-29 | Ralf Jung | further tweak image | blob | commitdiff | raw |
| 2023-09-29 | Ralf Jung | tweak image behavior on small screens | blob | commitdiff | raw | diff to current |
| 2018-05-23 | Ralf Jung | fix black bar to the left of the small-screen view | blob | commitdiff | raw | diff to current |
| 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 |