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

/* Put your custom style modifications here: */