2020-11-25 20:55:04 +00:00
|
|
|
row {
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
2020-12-26 22:19:33 +00:00
|
|
|
.status_bar frame {
|
|
|
|
/* the status bar is ugly in elementary os otherwise */
|
|
|
|
border: 0px;
|
|
|
|
}
|
|
|
|
|
2020-12-27 12:43:02 +00:00
|
|
|
/* adds a bottom border for themes that don't add one in primary-toolbar
|
|
|
|
classes. Interestingly, those that do add a border ignore this separator,
|
|
|
|
which is perfect. */
|
|
|
|
.top_separator {
|
|
|
|
border: 0px; /* fixes light pixels on each end in arc-dark */
|
|
|
|
}
|
|
|
|
|
2020-11-25 20:55:04 +00:00
|
|
|
.table-header, .row-box {
|
|
|
|
padding: 2px;
|
|
|
|
}
|
|
|
|
|
2020-11-12 22:09:22 +00:00
|
|
|
.changed {
|
|
|
|
background: @selected_bg_color;
|
|
|
|
}
|
|
|
|
|
2020-11-03 22:41:05 +00:00
|
|
|
list entry {
|
|
|
|
background-color: transparent;
|
2020-11-08 17:51:35 +00:00
|
|
|
border-radius: 4px;
|
2020-12-26 22:19:33 +00:00
|
|
|
border: 0px;
|
2020-12-26 23:17:27 +00:00
|
|
|
box-shadow: none;
|
2020-11-08 17:51:35 +00:00
|
|
|
}
|
|
|
|
|
2022-01-10 19:37:22 +00:00
|
|
|
list.basic-editor button:not(:focus) {
|
2020-11-08 17:51:35 +00:00
|
|
|
border-color: transparent;
|
2020-11-12 22:09:22 +00:00
|
|
|
background: transparent;
|
|
|
|
box-shadow: none;
|
2020-11-08 17:51:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
list button {
|
|
|
|
border-color: transparent;
|
2020-11-03 22:41:05 +00:00
|
|
|
}
|
|
|
|
|
2022-01-14 17:50:57 +00:00
|
|
|
.invalid_input {
|
|
|
|
background-color: #ea9697;
|
|
|
|
}
|
|
|
|
|
2022-01-10 19:37:22 +00:00
|
|
|
.transparent {
|
|
|
|
background: transparent;
|
|
|
|
}
|
|
|
|
|
|
|
|
.code-editor-text-view > * {
|
|
|
|
border-radius: 2px;
|
|
|
|
}
|
|
|
|
|
2021-03-21 19:47:36 +00:00
|
|
|
.copyright {
|
|
|
|
font-size: 7pt;
|
|
|
|
}
|
|
|
|
|
2022-01-10 19:37:22 +00:00
|
|
|
.editor-key-list label {
|
|
|
|
padding: 11px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.autocompletion label {
|
|
|
|
padding: 11px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.autocompletion {
|
|
|
|
padding: 0px;
|
|
|
|
box-shadow: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.no-border {
|
|
|
|
border: 0px;
|
|
|
|
box-shadow: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.code-editor-text-view.multiline {
|
|
|
|
/* extra space between text editor and line numbers */
|
|
|
|
padding-left: 18px;
|
|
|
|
}
|
|
|
|
|
2022-04-17 10:19:23 +00:00
|
|
|
.no-v-padding{
|
|
|
|
padding-top: 0;
|
|
|
|
padding-bottom: 0;
|
|
|
|
}
|
|
|
|
|
2022-01-10 19:37:22 +00:00
|
|
|
/* @theme_bg_color, @theme_fg_color */
|