Lightemerald/windows-user-space-emulator
2
0
Fork 0
mirror of https://github.com/momo5502/emulator.git synced 2026-01-27 07:11:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Format code

Browse Source
This commit is contained in:
momo5502
2025-04-22 20:54:30 +02:00
parent f21e349a94
commit d91f171bae
43 changed files with 1246 additions and 1134 deletions
Download Patch File Download Diff File Expand all files Collapse all files

140
page/src/App.css
View File

@@ -1,70 +1,70 @@
@media (pointer:fine) {
::-webkit-scrollbar {
width: 20px;
}
::-webkit-scrollbar-track {
background-color: transparent;
}
::-webkit-scrollbar-thumb {
background-color: rgba(97, 97, 97, 0.7);
border-radius: 20px;
min-height: 50px;
border: 6px solid transparent;
background-clip: content-box;
transition: all 0.1s linear;
}
::-webkit-scrollbar-thumb:hover {
background-color: rgba(97, 97, 97, 0.9);
}
}
button {
cursor: pointer;
}
.terminal-output {
line-height: 1.5;
font-weight: 600;
font-size: 1.05em;
font-family: monospace;
height: 100%;
}
.terminal-black {
color: #0C0C0C;
}
.terminal-red {
color: #FF3131;
}
.terminal-green {
color: #86C000;
}
.terminal-yellow {
color: #FFB940;
}
.terminal-blue {
color: #3A96DD;
}
.terminal-cyan {
color: #00ADF7;
}
.terminal-pink {
color: #9750DD;
}
.terminal-white {
color: #ECECEC;
}
.terminal-dark-gray {
color: rgb(81, 81, 81);
}
@media (pointer: fine) {
::-webkit-scrollbar {
width: 20px;
}
::-webkit-scrollbar-track {
background-color: transparent;
}
::-webkit-scrollbar-thumb {
background-color: rgba(97, 97, 97, 0.7);
border-radius: 20px;
min-height: 50px;
border: 6px solid transparent;
background-clip: content-box;
transition: all 0.1s linear;
}
::-webkit-scrollbar-thumb:hover {
background-color: rgba(97, 97, 97, 0.9);
}
}
button {
cursor: pointer;
}
.terminal-output {
line-height: 1.5;
font-weight: 600;
font-size: 1.05em;
font-family: monospace;
height: 100%;
}
.terminal-black {
color: #0c0c0c;
}
.terminal-red {
color: #ff3131;
}
.terminal-green {
color: #86c000;
}
.terminal-yellow {
color: #ffb940;
}
.terminal-blue {
color: #3a96dd;
}
.terminal-cyan {
color: #00adf7;
}
.terminal-pink {
color: #9750dd;
}
.terminal-white {
color: #ececec;
}
.terminal-dark-gray {
color: rgb(81, 81, 81);
}