Revert "[WEB] Make Github ribbon responsive"

This reverts commit 9b4c471615.
This commit is contained in:
David Wu
2018-01-03 19:31:56 +01:00
committed by Angelos Chalaris
parent 02212e9c43
commit 741bd3242c

Diff Content Not Available