master updated (938b950 -> acf770d)

[Per Bothner]

bothner pushed a change to branch master.

    from 938b950  js/info.js: Change auto-hide of sidebar in narrow windows.
     new e121d5a  js/info.css: Style hide-sidebar buttom vertically.
     new 11473ec  js/info.js (Sidebar.render): Fix initial rendering.
     new acf770d  js/info.js (Text_input.keyup): At end hide sidebar if narrow.


Summary of changes:
 ChangeLog   |  8 ++++++++
 js/info.css | 13 +++++++++++++
 js/info.js  |  8 ++++++--
 3 files changed, 27 insertions(+), 2 deletions(-)