Eberhard Graether
f06bb0e031
* fixed warnings for overriden node and edge colors * fixed warnings for edges connecting the wrong node types * removed tool tip from color scheme * changed names in project setup screen
66 lines
1.3 KiB
CSS
66 lines
1.3 KiB
CSS
* {
|
|
font-size: <setting:font_size>pt;
|
|
}
|
|
|
|
#search_box, #search_box * {
|
|
font-family: "<setting:font_name>";
|
|
font-size: <setting:font_size+2>pt;
|
|
}
|
|
|
|
#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-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: none;
|
|
color: <color:search/popup/text>;
|
|
font-family: "<setting:font_name>";
|
|
margin: 8px 0 0;
|
|
min-height: 26px;
|
|
selection-background-color: <color:search/popup/highlight>;
|
|
}
|
|
|
|
QPushButton#search_button {
|
|
background: <color:search/button/normal>;
|
|
border: none;
|
|
border-bottom-right-radius: 12px;
|
|
border-top-right-radius: 12px;
|
|
background-position: 15px 5px;
|
|
width: 30px;
|
|
}
|
|
|
|
#search_button:hover {
|
|
background: <color:search/button/hover>;
|
|
}
|
|
|
|
#search_button:pressed {
|
|
background: <color:search/button/press>;
|
|
}
|
|
|
|
QToolTip {
|
|
background-color: #E0E0E0;
|
|
color: black;
|
|
font-size: <setting:font_size>pt;
|
|
}
|