make board names bigger

Signed-off-by: natto1784 <natto@weirdnatto.in>
This commit is contained in:
2022-11-18 11:40:47 +05:30
parent d6251f2614
commit 169e87fab8

View File

@@ -975,7 +975,7 @@ span.pln {
div.boardlist {
margin-top: 3px;
color: #89A;
font-size: 9pt;
font-size: 15pt;
}
div.boardlist.bottom {