]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
some changes in lambdadelta butterflies
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index b89905077d0c922a835827175cc3ab33f9e255eb..16fc502dff8ec4c3eb2ebad4cb6320968dd28e65 100644 (file)
@@ -134,6 +134,10 @@ img.w3c {
 
 /* background colors ********************************************************/
 
+.white {
+  background-color:#ffffff; /* + 0 */
+}
+
 .gray {
   background-color:#dfdfdf; /* + 7/8 */
 }