Issue #464: New color theme: Navy
Done.