| commit | 41faef01caed287de016b73c1ca0c02f826ace95 | [log] [tgz] |
|---|---|---|
| author | Christopher Guindon <chris.guindon@eclipse.org> | Thu Jun 20 10:09:16 2013 -0400 |
| committer | Christopher Guindon <chris.guindon@eclipse.org> | Thu Jun 20 10:09:16 2013 -0400 |
| tree | 8a5f7e36c34f4c4b0339fc6b46acf6b1f6d06e87 | |
| parent | 0f4aea24d9c841ed6c62320a10ec59075ed9c94c [diff] |
lower font-size by 1px for highlights.