From b3ac69e0aa960fafcd2e93ab08db7ed960a294b6 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Tue, 16 Nov 2021 23:30:57 +1000 Subject: [PATCH] webserver: Results look better without the border. --- eris/eris/webserver.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/eris/eris/webserver.py b/eris/eris/webserver.py index d6a7b2e..63d5ec2 100755 --- a/eris/eris/webserver.py +++ b/eris/eris/webserver.py @@ -40,8 +40,7 @@ class Webserver(http.server.BaseHTTPRequestHandler): elif "/" in self.path[1:]: path, tool = os.path.split(self.path[1:]) result = index[(path, tool)] - body = fill3.appearance_as_html( - fill3.Border(result).appearance_min()) + body = fill3.appearance_as_html(result.appearance_min()) page = make_page(body, f"{tool} of {path}") else: return