mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-23 10:08:32 +00:00
0db119d7ba
* Fixed empty string to URLs conversion Closes #919. Signed-off-by: Akos Kitta <kittaakos@gmail.com> * #881: Fixed height of the 3rd part URLs `textarea` Closes #881. Signed-off-by: Akos Kitta <kittaakos@gmail.com>
64 lines
1.2 KiB
CSS
64 lines
1.2 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-panel {
|
|
padding-bottom: 25px;
|
|
}
|
|
.arduino-settings-dialog .react-tabs__tab-list {
|
|
display: flex;
|
|
justify-content: center;
|
|
}
|
|
|
|
.p-Widget.dialogOverlay .dialogBlock .dialogContent.additional-urls-dialog {
|
|
display: block;
|
|
}
|