Introduce a new color for themes, "mid" corresponding to the gtk color of the same name, and add a new theme "ops" that makes use of this (mainly as a proof of concept ;-) )


(Old svn revision: 10489)