jboss-developer/www.jboss.org — pull request #80 by wesbos (2014-04-16 20:36:39+00:00)
Title: Developer materials mobile filtering + layout. Resolves DEVELOPER-367

Mostly new CSS to allow for the new developer materials filtering on mobile.