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