The Martini theme for Redmine is now maintained by Florian Sesser (hacklschorsch): https://github.com/hacklschorsch/martini