comparison wk.py @ 488:40c778469672

web: Reduce top space reserved for menu shortcut when the screen is large.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 01 Nov 2018 21:34:56 -0700
parents 2dd7535045eb
children
comparison
equal deleted inserted replaced
487:1ec071454790 488:40c778469672