diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-01 22:48:38 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-01 22:48:38 +0200 |
| commit | 65625d5de8bafdf200b8a82f49d608a5eea10669 (patch) | |
| tree | c45cd5130dfb51f4932f10d1995f2029da23a16c /dpi/bookmarks.c | |
| parent | 44658a26e0ece4c51d41d215f10e77b8ef1bae5d (diff) | |
Use 14px font size for bookmarks
Diffstat (limited to 'dpi/bookmarks.c')
| -rw-r--r-- | dpi/bookmarks.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dpi/bookmarks.c b/dpi/bookmarks.c index c892675a..222441d1 100644 --- a/dpi/bookmarks.c +++ b/dpi/bookmarks.c @@ -50,7 +50,7 @@ #define CSS_STYLE \ "<style type='text/css'>\n"\ - "body { margin: 2em; background: white; font-size: 16px }\n" \ + "body { margin: 2em; background: white; font-size: 14px }\n" \ "ul { font-size: inherit; margin-left: 1em; margin-top: 0.5em; list-style-type: none; }\n" \ "ul.main { list-style-type: none; }\n" \ "li { min-height: 1.6em; }\n" \ |