diff options
| author | Veit Lehmann <veit.lehmann@googlemail.com> | 2013-05-12 20:03:10 +0300 |
|---|---|---|
| committer | Veit Lehmann <veit.lehmann@googlemail.com> | 2013-05-12 20:03:10 +0300 |
| commit | 13c5cc6d2770c02c7dc08c01c7e5c6c653b9986a (patch) | |
| tree | 10b895c0151a69fc5eb7787c6eb343d3ae6867fa /js/PluginHost.js | |
| parent | 11334fdf6cfa72ff78abb4434a8dcdee99c119a2 (diff) | |
fix jumping when clicking tree nodes
I would also suggest to turn the font-size back to 12px and padding back to 1px 0 there. Maybe only push the font-size to 14px in articles, since that's what we look at most. Everything else should visually step back.
Diffstat (limited to 'js/PluginHost.js')
0 files changed, 0 insertions, 0 deletions