Use local OpenSans font instead of Google's version
Use local OpenSans font instead of Google's version

openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean