Small fixes for IE browsers
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Oct 24 2013, 5:17 PM mollekopf Pushed on Aug 22 2023, 5:55 AM - Parents
- R14:21a9637fda59: Minor CSS improvements + add missing text label
- Branches
- Unknown
- Tags