Update fonts

This commit is contained in:
2025-06-09 19:01:45 -05:00
parent 544720331b
commit 3f7783ae2e

View File

@ -1,13 +1,27 @@
.flat-progressbar{
height: 10px;
}
.console{
height: 480px;
}
.form-control::-webkit-input-placeholder { opacity: 0.4; } /* WebKit, Blink, Edge */
.form-control:-moz-placeholder { opacity: 0.4; } /* Mozilla Firefox 4 to 18 */
.form-control::-moz-placeholder { opacity: 0.4; } /* Mozilla Firefox 19+ */
.form-control:-ms-input-placeholder { opacity: 0.4; } /* Internet Explorer 10-11 */
.form-control::-ms-input-placeholder { opacity: 0.4; } /* Microsoft Edge */
body{
font-family: 'Roboto';
}
.flat-progressbar{
height: 10px;
}
.console{
height: 480px;
}
#consoleTextArea{
font-family: 'Courier New', Courier, monospace;
font-size: 14px;
height: 500px;
overflow: scroll;
background-color: #888;
white-space: pre;
}
.form-control::-webkit-input-placeholder { opacity: 0.4; } /* WebKit, Blink, Edge */
.form-control:-moz-placeholder { opacity: 0.4; } /* Mozilla Firefox 4 to 18 */
.form-control::-moz-placeholder { opacity: 0.4; } /* Mozilla Firefox 19+ */
.form-control:-ms-input-placeholder { opacity: 0.4; } /* Internet Explorer 10-11 */
.form-control::-ms-input-placeholder { opacity: 0.4; } /* Microsoft Edge */
.nav-link, .dropdown-item {
cursor: pointer;
}