mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-09 10:28:32 +00:00
58 lines
1.0 KiB
CSS
58 lines
1.0 KiB
CSS
.arduino-settings-dialog {
|
|
width: 740px;
|
|
}
|
|
|
|
.arduino-settings-dialog .content {
|
|
padding: 5px;
|
|
height: 300px;
|
|
}
|
|
|
|
.arduino-settings-dialog .flex-line {
|
|
display: flex;
|
|
align-items: center;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.arduino-settings-dialog .with-margin {
|
|
margin-left: 5px;
|
|
}
|
|
|
|
.arduino-settings-dialog .theia-select {
|
|
background: var(--theia-input-background) !important;
|
|
}
|
|
|
|
.arduino-settings-dialog .column > div {
|
|
height: 26px;
|
|
vertical-align: middle;
|
|
}
|
|
|
|
.arduino-settings-dialog .stretch {
|
|
width: 100% !important;
|
|
}
|
|
|
|
.arduino-settings-dialog .flex-line .theia-button.shrink {
|
|
min-width: unset;
|
|
}
|
|
|
|
.arduino-settings-dialog .proxy-settings {
|
|
margin: 5px;
|
|
}
|
|
|
|
.arduino-settings-dialog input[type="radio"] {
|
|
margin: 3px !important;
|
|
}
|
|
|
|
.arduino-settings-dialog .theia-input.small {
|
|
max-width: 50px;
|
|
width: 50px;
|
|
}
|
|
|
|
.additional-urls-dialog .link:hover {
|
|
color: var(--theia-textLink-activeForeground);
|
|
}
|
|
|
|
.arduino-settings-dialog .react-tabs__tab-list {
|
|
display: flex;
|
|
justify-content: center;
|
|
}
|