Publishing at Mon Apr 28 12:00:58 JST 2014: responsive design for <pre>