commit | 918944e41306198807728ae3f05a1799773895c5 | [log] [tgz] |
---|---|---|
author | Jean-Luc Brouillet <[email protected]> | Thu Apr 30 11:12:40 2015 -0700 |
committer | Jean-Luc Brouillet <[email protected]> | Thu Apr 30 17:57:09 2015 -0700 |
tree | 29c5c606042f6269851a4c24109b3a61501d3cee | |
parent | 21f5a0696f92351ea19963989504acd17c516fff [diff] |
Fix offset problem when jumping to an anchor mid-pages. BTW, I had tried to use <a id=''> instead of <a name=''> to be HTML5 compatible. This does not work with the current default.css file. Change-Id: I07b4273a0f9dabead668baf6b25dfac41021ab98