commit 06204378a99d9c416abccf13ed7867cb23444ae1
parent 8003dd101addc04b922a8f276451772b7c3a9292
Author: mjkloeckner <martinjkloeckner@gmail.com>
Date: Mon, 26 Feb 2024 13:04:08 -0300
Bold top repo buttons + Bigger repo name
Diffstat:
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/css/git.css b/css/git.css
@@ -114,6 +114,10 @@ a.d, a.h, a.i, a.line {
display: none;
}
+#name {
+ font-weight: bold;
+}
+
#repo-name {
font-size: 1.75em;
}
@@ -151,6 +155,7 @@ a.d, a.h, a.i, a.line {
#repo-top-buttons {
padding: .5em 2em 1em 2em;
+ font-weight: bold;
}
#log-date,
@@ -628,7 +633,7 @@ pre a.h:hover, pre a.i:hover, pre a.d:hover {
font-size: 20px;
}
#repo-name {
- font-size: 1.25em;
+ font-size: 1.5em;
}
#dir-name {
padding-left: 0;