From 9811de4d6d569e9609698acf95ecb530266b623f Mon Sep 17 00:00:00 2001
From: jprekz <jprekz@users.noreply.github.com>
Date: Sun, 4 Aug 2019 20:26:14 +0900
Subject: [PATCH] fix

---
 manual.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual.html b/manual.html
index 5cd8d5d..1414892 100644
--- a/manual.html
+++ b/manual.html
@@ -58,7 +58,7 @@
 
     .box {
       flex-grow: 1;
-      border: 8px solid #ffffffaa;
+      border: 8px solid #aaaaaa;
       margin: 1em;
     }