Fix tool menu styles for workflow editor.

This commit is contained in:
James Taylor
2019-07-07 10:03:14 +02:00
parent c95c99a3b7
commit c571a15d29
2 changed files with 15 additions and 7 deletions
+6
View File
@@ -1528,6 +1528,12 @@ div.toolSectionTitle, div.toolTitle {
background: darken($panel-bg-color, 5%);
}
}
&.text-muted a {
&:hover {
background: inherit;
}
}
}
div.toolTitleNoSection {
@@ -91,13 +91,15 @@
%else:
<div class="toolTitleNoSection text-muted">
%endif
%if "[[" in tool.description and "]]" in tool.description:
${tool.description.replace( '[[', '' % tool.id ).replace( "]]", "" )}
%elif tool.name:
${tool.name} ${tool.description}
%else:
${tool.description}
%endif
<a>
%if "[[" in tool.description and "]]" in tool.description:
${tool.description.replace( '[[', '' % tool.id ).replace( "]]", "" )}
%elif tool.name:
${tool.name} ${tool.description}
%else:
${tool.description}
%endif
</a>
</div>
%endif
%endif