Issues with LaTeX styling

[christetreault]

I'm opening this issue to bring up styling/formatting related things that I feel could use improvement. Strictly speaking, this is all opinion. I plan to add things to the comments section as I notice them, but here are a few right off the bat:

\newthought{I like cheetos}

I feel that the text inside the newthought block looks to similar to regular text in the document. Sure, if you look closely you can see that the font is slightly different, and it's all capitals, but if you're skimming the document it all looks exactly the same. Perhaps these should be bold?

spec vs code blocks

Throughout the document there are ~~~~~{.spec} ... ~~~~~ blocks and \begin{code} ... \end{code} blocks. I understand that the latter has specific meaning for literate haskell, so we can't just use code blocks throughout, however I think the former needs to look more like the latter. I feel like ~~~~~{.spec} ... ~~~~~ used to make the enclosed text appear in a gray box, and I think that's how it should work. I suspect this change might be in response to an issue I raised earlier where text spilled out of the spec block. I think a better solution to that specific issue would be to break offending text onto multiple lines.