So I decided to change it:
Just a disclaimer: I'm not that great with design. So, the choice in colors may not be the best..
If anyone is interested in adapting Mantis like this for their own organization, here's what you need to edit:
- Default.css (in CSS folder)
- html_api.php (in CORE folder)
- config_defaults_inc.php (root mantis folder)
There's a lot of room for customization if you know PHP and CSS (and a little Javascript).
Great software though...
EDIT: Latest version shown. 1.1.2