From: Dan Allen Date: Sat, 12 Dec 2020 23:46:18 +0000 (+0000) Subject: merge !132 X-Git-Url: https://old-git.evergreen-ils.org/?a=commitdiff_plain;h=927a7af0c8b2d8c8ff257cac27423e017adb98e2;p=eg-antora.git merge !132 resolves #160 adjust height of nav panel when activating, if necessary --- 927a7af0c8b2d8c8ff257cac27423e017adb98e2