Étiquette de l’extension : operating system

Add the operating-system's abbreviation as a CSS-Class to the body-tag.