mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
48 lines
949 B
CSS
48 lines
949 B
CSS
.preferences_dialog {
|
|
height: 100%;
|
|
width: 100%;
|
|
padding-top: 34px;
|
|
padding-bottom: 39px;
|
|
}
|
|
|
|
.preferences_content {
|
|
padding-top: 10px;
|
|
height: 100%;
|
|
overflow: auto;
|
|
}
|
|
|
|
div.pgadmin-preference-body div.ajs-content {
|
|
top: 0px !important;
|
|
bottom: 0px !important;
|
|
}
|
|
|
|
.pgadmin-preference-body {
|
|
min-width: 300px !important;
|
|
min-height: 400px !important;
|
|
}
|
|
|
|
@media (min-width: 768px) {
|
|
.pgadmin-preference-body {
|
|
min-width: 600px !important;
|
|
min-height: 480px !important;
|
|
}
|
|
}
|
|
|
|
.keyboard-shortcut-label {
|
|
font-weight: normal !important;
|
|
}
|
|
|
|
.preferences_content input[type="checkbox"]:focus {
|
|
outline: 5px auto -webkit-focus-ring-color;
|
|
}
|
|
|
|
.preferences_content .pgadmin-controls input[type="checkbox"] {
|
|
margin-left: -20px !important;
|
|
}
|
|
|
|
.preferences_content .pgadmin-controls .shift,
|
|
.preferences_content .pgadmin-controls .control,
|
|
.preferences_content .pgadmin-controls .alt {
|
|
margin-left: 15px !important;
|
|
}
|