Eberhard Graether
7231ae36f6
* darkened red of error message in status bar * added status error when not defined startupproject * added tooltips for remaining search view buttons * added filepath as tooptip for title in code view * opening file when clicking title in code view
46 lines
825 B
CSS
46 lines
825 B
CSS
#code_file #title_label {
|
|
background-color: rgb(220,220,220);
|
|
border-top-right-radius: 10px;
|
|
font-family: "Source Code Pro";
|
|
font-size: 14px;
|
|
padding: 4px 12px;
|
|
}
|
|
|
|
#code_file #title_label:hover {
|
|
background: #D2D2D2;
|
|
}
|
|
|
|
#code_file #title_label:disabled {
|
|
color: black;
|
|
}
|
|
|
|
#code_snippet {
|
|
font-family: "Source Code Pro";
|
|
font-size: 14px;
|
|
margin-bottom: 2px;
|
|
}
|
|
|
|
#code_snippet #line_number_area {
|
|
background-color: white;
|
|
font-family: "Source Code Pro";
|
|
font-size: 14px;
|
|
}
|
|
|
|
#code_snippet #maximize_button {
|
|
border: none;
|
|
border-image: none;
|
|
margin: 5px;
|
|
max-height: 16px;
|
|
max-width: 16px;
|
|
}
|
|
|
|
#code_snippet #maximize_button:enabled {
|
|
border-image: url(data/gui/code_view/images/button_maximize.png);
|
|
}
|
|
|
|
QToolTip {
|
|
background-color: rgb(204, 204, 204);
|
|
border: 1px solid rgb(0, 0, 0);
|
|
color: rgb(0, 0, 0);
|
|
}
|