# HG changeset patch # User Christophe Lincoln # Date 1396421142 -7200 # Node ID af0cf6d3d89036d55ea07b091e68fe34af8c8903 # Parent 36bb13e5f1992e136d1ab163802bcce765f92050 cook: bigger font size fro pre diff -r 36bb13e5f199 -r af0cf6d3d890 cook/header.html --- a/cook/header.html Wed Apr 02 08:44:37 2014 +0200 +++ b/cook/header.html Wed Apr 02 08:45:42 2014 +0200 @@ -21,6 +21,7 @@ width: 40px; height: 40px; } + pre { font-size: 100%; }