@import url("screen.css"); /* default gitit screen styles */
@import url("hk-pyg.css"); /* for syntax highlighting */
@import url("clafer.css"); /* for syntax highlighting for Clafer */

/* Put your custom style modifications here: */