try and fail to make the mobile style prettier

diff --git a/docs/pycco_custom.css b/docs/pycco_custom.css
index 6832cf896fb4c332806eacf39905bd8e2a87251a..6957afc0589cbc9ebe17639e9ed9c11394677c1b 100644 (file)
--- a/docs/pycco_custom.css
+++ b/docs/pycco_custom.css
@@ -75,6 +75,12 @@ div.code {
     div.code {
         margin: 0px;
         clear: both;
     div.code {
         margin: 0px;
         clear: both;

+        /*
+          This *would* be nice, but there are empty code blocks in the generated HTML :-/
+          background: #EEEEEE;
+          border-top: #BBBBBB 1px solid;
+          border-bottom: #BBBBBB 1px solid;
+        */

     }
 }
 
     }
 }