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 + }