Files
Sourcetrail/bin/app/data/gui/search_view/search_view.css
T
Eberhard Graether 8baf8cd49b ui: Fixes for search bar
* fixed clicking on search element did not focus search bar
* fixed moving cursor between elements
* no smart pointers for search elements to fix deletion issues
2017-11-03 14:44:07 +01:00

69 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: 2px solid <color:search/field/border>;
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>;
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>;
}