style: replace GitHub ribbon with GitHub corner#86

hamirmahal wants to merge 2 commits intobrazzy:masterbrazzy/floating-point-gui.de:masterfrom

hamirmahal:style/replace-GitHub-ribbon-with-GitHub-cornerhamirmahal/floating-point-gui.de:style/replace-GitHub-ribbon-with-GitHub-cornerCopy head branch name to clipboard