Eberhard Graether
299b3a1cf7
* improved comment colors in all color schemes * improved contrasts for dark color scheme * fixed error locations stay visible when activating file in single file view * removed scroll speed change listener from search autocompletion because it caused slowdown on macOS * fixed bounding rects of graph edges to contain arrow * fixed tooltip list shown with just one element
70 lines
1.5 KiB
CSS
70 lines
1.5 KiB
CSS
* {
|
|
font-size: <setting:font_size>px;
|
|
}
|
|
|
|
#search_box, #search_box * {
|
|
font-family: "<setting:font_name>";
|
|
font-size: <setting:font_size+2>px;
|
|
}
|
|
|
|
#search_bar {
|
|
background-color: transparent;
|
|
}
|
|
|
|
QWidget#search_box_container {
|
|
background: <color:search/field/background>;
|
|
border: none;
|
|
border-bottom-left-radius: 12px;
|
|
border-top-left-radius: 12px;
|
|
margin-left: 5px;
|
|
margin-right: 2px;
|
|
}
|
|
|
|
QLineEdit#search_box {
|
|
background-color: transparent;
|
|
border: none;
|
|
color: <color:search/field/text>;
|
|
margin-left: 5px;
|
|
selection-background-color: <color:search/field/highlight>;
|
|
}
|
|
|
|
QWidget#search_box_highlight {
|
|
background-color: <color:search/field/highlight>;
|
|
border: none;
|
|
}
|
|
|
|
QAbstractItemView#search_box_popup {
|
|
background-color: <color:search/popup/background>;
|
|
border: 1px solid <color:search/popup/line>;
|
|
color: <color:search/popup/text>;
|
|
font-family: "<setting:font_name>";
|
|
margin: 0;
|
|
min-height: 26px;
|
|
selection-background-color: <color:search/popup/highlight>;
|
|
}
|
|
|
|
#search_button, #home_button {
|
|
background: <color:search/button/normal>;
|
|
border: none;
|
|
border-radius: 12px;
|
|
height: 30px;
|
|
width: 30px;
|
|
}
|
|
|
|
#search_button {
|
|
border-bottom-left-radius: 0px;
|
|
border-top-left-radius: 0px;
|
|
}
|
|
|
|
#search_button:disabled, #home_button:disabled {
|
|
background: <color:search/button/disabled>;
|
|
}
|
|
|
|
#search_button:hover, #home_button:hover {
|
|
background: <color:search/button/hover>;
|
|
}
|
|
|
|
#search_button:pressed, #home_button:pressed {
|
|
background: <color:search/button/press>;
|
|
}
|