2025-01-08 18:53:29 +00:00
|
|
|
@use "../colors/_glassy.scss" as *;
|
|
|
|
|
/* Command prompt widget */
|
|
|
|
|
|
|
|
|
|
.executioner {
|
|
|
|
|
border-radius: 5px;
|
2025-01-12 20:29:13 +00:00
|
|
|
background-color: #000000;
|
2025-01-08 18:53:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.cmd_input_field {
|
|
|
|
|
border-radius: 5px;
|
2025-01-12 20:29:13 +00:00
|
|
|
background-color: $dock_bg_col;
|
2025-01-08 18:53:29 +00:00
|
|
|
padding: 5px;
|
|
|
|
|
margin: 10px;
|
|
|
|
|
}
|
