[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] externals/hyperbole ff4ee49684 1/3: kexport.el - Fix default font
From: |
ELPA Syncer |
Subject: |
[elpa] externals/hyperbole ff4ee49684 1/3: kexport.el - Fix default font size to be uniform and large enough |
Date: |
Sun, 14 May 2023 16:57:57 -0400 (EDT) |
branch: externals/hyperbole
commit ff4ee49684df87a341038023da350908607e5609
Author: Robert Weiner <rsw@gnu.org>
Commit: Robert Weiner <rsw@gnu.org>
kexport.el - Fix default font size to be uniform and large enough
---
ChangeLog | 6 ++++++
kotl/kexport.el | 17 ++++++++++++-----
2 files changed, 18 insertions(+), 5 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 1fe7741a4a..cf91534e6a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
2023-05-14 Bob Weiner <rsw@gnu.org>
+* kotl/kexport.el (kexport:font-awesome-css-include-with-menus): Fix font size
+ at 20px for all elements, so is large enough by default.
+
+* hui-window.el (hmouse-drag-item-mode-forms): Fix treemacs-mode paren error
+ that had error clause outside if statement.
+
* hib-debbugs.el (debbugs-gnu-mode:help):
hui-window.el (hmouse-kill-and-yank-region, hmouse-yank-region):
hargs.el (hargs:sexpression-p):
diff --git a/kotl/kexport.el b/kotl/kexport.el
index e0c65a745b..1dd1ab9cf9 100644
--- a/kotl/kexport.el
+++ b/kotl/kexport.el
@@ -3,7 +3,7 @@
;; Author: Bob Weiner
;;
;; Orig-Date: 26-Feb-98
-;; Last-Mod: 12-Mar-23 at 17:14:19 by Mats Lidell
+;; Last-Mod: 14-May-23 at 10:29:11 by Bob Weiner
;;
;; SPDX-License-Identifier: GPL-3.0-or-later
;;
@@ -154,12 +154,12 @@ ul {
.btn:hover {
background-color: #FAFAD2;
- font-size: 12px;
+ font-size: 20px;
}
.content {
display: block;
- font-size: 12px;
+ font-size: 20px;
margin-top: 0px;
margin-bottom: 0px;
}
@@ -169,11 +169,17 @@ ul {
color: #C100C1;
}
-h1, pre {
+h1 {
margin-top: 0px;
margin-bottom: 0px;
}
+pre {
+ margin-top: 0px;
+ margin-bottom: 0px;
+ font-size: 20px;
+}
+
body {
background-color: white;
}
@@ -206,6 +212,7 @@ li {
.collapsible:hover {
background-color: #FAFAD2;
+ font-size: 20px;
}
.content {
@@ -277,7 +284,7 @@ nav > menu > menuitem > a + menu:after{
position:absolute;
border:10px solid transparent;
border-top: 10px solid white;
- left:12px;
+ left:20px;
top: -40px;
}
nav menuitem > menu > menuitem > a + menu:after{