Podwójny znak @@ w CSS, Ogólnie co to jest Opcje

[markonix]

Pracuje na sporawej templatce (typu admin) i w menu pozycje (elemeny <li>) mają klasy w postaci:
@@activate-ui-elements
@@activate-features
nie umiem dojść czy to w ogóle natywna składnia CSSa czy jakiś framework?
Jeżeli to drugie to jaki to FW i czemu te klasy służą?