Note our usage of nonstandard CSS so far

See #40.