Update semantic.css

Possibly an old CSS leftover.
Merge pull request #619 from MohammadYounes/docs

Possibly an old CSS leftover.