mirror of
https://github.com/pybricks/pybricks-code.git
synced 2026-09-12 01:23:52 +00:00
make settings group label bigger and bolder
This commit is contained in:
@@ -6,3 +6,8 @@
|
||||
.pb-settings {
|
||||
margin: 25px;
|
||||
}
|
||||
|
||||
.pb-settings .bp3-label {
|
||||
font-size: larger;
|
||||
font-weight: bolder;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user