5b9d6e3e7a
Thank you to Ann Adamcik for providing this patch.
These css files are created from .less files via the method described in the readme in the /theme/bootstrap/less/ folder. It's unwise to directly the edit the css files as your changes may be overwritten.