ndmitchell/hoogle — pull request #22 by mhitza (2013-08-04 19:56:04+00:00)
Title: Change layout/style to adapt on Ocean theme

As the suggestion in the reddit chat, inside are the changes necessary to have the Ocean theme on Hoogle as well.