2023-12-28 16:32:20 +00:00
|
|
|
.mono-font {
|
|
|
|
-fx-font-family: monospace;
|
|
|
|
}
|
|
|
|
|
2023-12-29 02:31:42 +00:00
|
|
|
.error-text {
|
|
|
|
-fx-font-size: small;
|
|
|
|
-fx-text-fill: red;
|
|
|
|
}
|
|
|
|
|
2023-12-28 16:32:20 +00:00
|
|
|
.bold-text {
|
|
|
|
-fx-font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.small-text {
|
|
|
|
-fx-font-size: small;
|
|
|
|
}
|
|
|
|
|
2023-12-29 02:31:42 +00:00
|
|
|
.large-text {
|
|
|
|
-fx-font-size: large;
|
2023-12-28 16:32:20 +00:00
|
|
|
}
|
|
|
|
|
2023-12-29 02:31:42 +00:00
|
|
|
.std-padding {
|
2023-12-28 16:32:20 +00:00
|
|
|
-fx-padding: 3px;
|
|
|
|
}
|
|
|
|
|
2023-12-29 02:31:42 +00:00
|
|
|
.std-spacing {
|
2023-12-28 16:32:20 +00:00
|
|
|
-fx-spacing: 3px;
|
|
|
|
}
|
2023-12-29 17:06:43 +00:00
|
|
|
|
|
|
|
.spacing-extra {
|
|
|
|
-fx-spacing: 6px;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* DEBUG BORDERS */
|
|
|
|
.debug-border-1 {
|
|
|
|
-fx-border-color: red;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-border-2 {
|
|
|
|
-fx-border-color: lime;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-border-3 {
|
|
|
|
-fx-border-color: blue;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-border-4 {
|
|
|
|
-fx-border-color: magenta;
|
|
|
|
}
|