Compass and Sass port of Nathan Smith's Formalize project