1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/docs/styles.css Tue May 13 18:05:27 2008 +0000 1.3 @@ -0,0 +1,8 @@ 1.4 + pre { 1.5 + padding: 0.5em; 1.6 + background-color: rgb(238, 238, 238); 1.7 + } 1.8 + 1.9 + pre strong { 1.10 + background-color: rgb(200, 200, 200); 1.11 + }