From b858cad9ad70ea6dd307559b3169730097fd6c29 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Wed, 13 Sep 2023 14:18:15 +0300 Subject: Add some documentation --- app/server.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'app') diff --git a/app/server.py b/app/server.py index 081c961..3ff981e 100644 --- a/app/server.py +++ b/app/server.py @@ -33,7 +33,8 @@ def index(): raise Exception("Database is not initialized") Q = Query() - feeds = database_manager.feeds.all() + _feeds = database_manager.feeds.all() + feeds: list[dict[str, str]] = _feeds # type: ignore bottle.response.set_header("content-type", "text/html") page = f""" @@ -67,6 +68,10 @@ def index(): th, td {{ padding: 8px; }} + + footer {{ + margin-top: 32px; + }} @@ -74,6 +79,11 @@ def index(): Feed manipulator

Feeds served at this address

{feeds_to_table(feeds)} + """ -- cgit v1.3