-tweak font sizes

This commit is contained in:
Gitea 2024-01-04 13:31:59 +00:00
parent 4d6181fc33
commit e41af1f665

View File

@ -1,29 +1,35 @@
<!DOCTYPE html> <!DOCTYPE html>
<head><title>GNU Taler Dashboard</title> <head><title>GNU Taler Dashboard</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<style> <style>
body { body {
margin-left:1%; margin-left:1%;
margin-right:1%; margin-right:1%;
font-family:sans-serif; font-family:sans-serif;
font-size:12pt;
} }
h3 { h3 {
margin: 0em; margin: 0em;
margin-top: 1em; margin-top: 1em;
color: brown; color: brown;
font-size:1.2em;
} }
h4 { h4 {
margin: 0; margin: 0;
margin-top: 1em; margin-top: 0.5em;
margin-left: 1%; margin-left: 1%;
font-size:1.1em;
} }
h5 { h5 {
margin: 0; margin: 0;
margin-top: 0.5em; margin-top: 0.5em;
margin-left: 2%; margin-left: 2%;
font-size:1em;
} }
details { details {
margin-left: 4em; margin-left: 4%;
margin-right: 3%; margin-right: 4%;
font-size:1em;
} }
pre { pre {
max-width: 100%; max-width: 100%;
@ -31,7 +37,7 @@ pre {
text-overflow: wrap,ellipsis; text-overflow: wrap,ellipsis;
} }
.small { .small {
font-size:8px; font-size:8pt;
font-weight: normal; font-weight: normal;
} }
.category { .category {