fix for obscured headers on options.html#xyz
authorDan Vanderkam <danvdk@gmail.com>
Thu, 29 Aug 2013 02:31:45 +0000 (22:31 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Thu, 29 Aug 2013 02:31:45 +0000 (22:31 -0400)
commit3ad199fc4354b0311d86e31ddb0472c6e81e4e14
tree985a0163b348ce9f7b47d26438e8af15bf3387d7
parente4b58391f6a20b1d7f6f7af143edf2da5f904407
fix for obscured headers on options.html#xyz
docs/site.css