Commit 471d331ba58271bdbf067c99a5f1504361af7ff6 Parent 630d363d59a1ace243fea779013fac74d170e15b Author John MacFarlane <jgm@berkeley.edu> Date Wed, 13 Aug 2014 23:30:42 -0700 Color scheme tweak in spec.