search

flobrosch / valadoc-org

32 stars 5 forks source link

Fix div heights JS #16

Closed danirabbit closed 8 years ago

danirabbit commented 8 years ago

Sets up the fixed nav and scrollable boxes with CSS instead of JS.

It also fixes focusing the search bar when hovering the sidebar

benwaffle commented 8 years ago

scrolling seems unchanged so lgtm