wok-current diff shellinabox/stuff/12px.css @ rev 24574

updated fribidi and fribidi-dev (1.0.8 -> 1.0.11)
author Hans-G?nter Theisgen
date Sun Feb 27 07:58:48 2022 +0100 (2022-02-27)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/shellinabox/stuff/12px.css	Sun Feb 27 07:58:48 2022 +0100
     1.3 @@ -0,0 +1,6 @@
     1.4 +#vt100 #reconnect input { font-size: small; }
     1.5 +#vt100 #scrollable { font-size: 12px; }
     1.6 +#vt100 #cursize { font-size: 12px; }
     1.7 +#vt100 #console { font-size: 12px; }
     1.8 +#vt100 #cursor { font-size: 12px; }
     1.9 +#vt100 #linheight { font-size: 12px; }