Issue #15: fix github banner alignment