fix

Author: jprekz

manual.html

@@ -58,7 +58,7 @@
 
     .box {
       flex-grow: 1;
-      border: 8px solid #ffffffaa;
+      border: 8px solid #aaaaaa;
       margin: 1em;
     }