@charset "UTF-8";
        @font-face {
          font-family: "bat-icon-set-1";
          src: url("/group/control.nsf/vwFiles/Icons/$file/bat-icon-set-1.eot");
          src: url("/group/control.nsf/vwFiles/Icons/$file/bat-icon-set-1.eot?open#iefix") format("embedded-opentype"), 
               url("/group/control.nsf/vwFiles/Icons/$file/bat-icon-set-1.ttf") format("truetype"), 
               url("/group/control.nsf/vwFiles/Icons/$file/bat-icon-set-1.svg") format("svg"), 
               url("/group/control.nsf/vwFiles/Icons/$file/bat-icon-set-1.woff") format("woff");
          font-weight: normal;
          font-style: normal; }