Eberhard Graether
68c9782e33
* open custom trail dialg via button in top of trail controls * search from symbol to symbol or all referenced/referencing of symbol * define search depth with slider * define horizontal/vertical layout * define node and edge types * renamed depth graph to trail in graph ui * added custom trail UI tests fortune cookie message = A happy surprise is waiting for you.
69 lines
1.4 KiB
CSS
69 lines
1.4 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;
|
|
}
|
|
|
|
#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;
|
|
}
|
|
|
|
#search_box {
|
|
background-color: transparent;
|
|
border: none;
|
|
color: <color:search/field/text>;
|
|
selection-background-color: <color:search/field/highlight>;
|
|
}
|
|
|
|
#search_box_highlight {
|
|
background-color: <color:search/field/highlight>;
|
|
border: none;
|
|
}
|
|
|
|
#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>;
|
|
}
|