/*

HRM dark style

   The dark style corresponds to the default style
   in ../css/default.css.

This file is part of the Huygens Remote Manager
Copyright and license notice: see license.txt

*/