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
36 lines
591 B
CSS
36 lines
591 B
CSS
#refresh_bar {
|
|
background: transparent;
|
|
}
|
|
|
|
QPushButton {
|
|
background: <color:search/button/normal>;
|
|
border: none;
|
|
height: 30px;
|
|
width: 30px;
|
|
}
|
|
|
|
QPushButton:hover, QPushButton:checked {
|
|
background: <color:search/button/hover>;
|
|
}
|
|
|
|
QPushButton:pressed {
|
|
background: <color:search/button/press>;
|
|
}
|
|
|
|
#refresh_button {
|
|
border-bottom-left-radius: 12px;
|
|
border-top-left-radius: 12px;
|
|
margin-right: 2px;
|
|
}
|
|
|
|
#auto_refresh_button {
|
|
border-bottom-right-radius: 12px;
|
|
border-top-right-radius: 12px;
|
|
}
|
|
|
|
QToolTip {
|
|
background-color: #E0E0E0;
|
|
color: black;
|
|
font-size: <setting:font_size>pt;
|
|
}
|