diff --git a/www/skins/prod/000000/prodcolor.css b/www/skins/prod/000000/prodcolor.css index 78ef4ff2b6..9c720f3296 100644 --- a/www/skins/prod/000000/prodcolor.css +++ b/www/skins/prod/000000/prodcolor.css @@ -2217,6 +2217,10 @@ H4 { font-size: 65%; } +#proposals UL.fancytree-container UL li{ + white-space: pre-line !important; +} + #proposals .fancytree-folder .fancytree-expander:before { content: '\25C0'; /* U+25C0 BLACK LEFT-POINTING TRIANGLE */ color: #a0a0a0; @@ -2241,7 +2245,7 @@ H4 { #proposals .facetFilter { font-weight: normal; position:absolute; - width:100px; + width:122px; height:25px; line-height: 25px; vertical-align: middle; diff --git a/www/skins/prod/jquery.main-prod.js b/www/skins/prod/jquery.main-prod.js index 1d72b1ce97..1d864ba1de 100644 --- a/www/skins/prod/jquery.main-prod.js +++ b/www/skins/prod/jquery.main-prod.js @@ -569,7 +569,12 @@ function getFacetsTree() { var s_label = document.createElement("SPAN"); s_label.setAttribute("class", "facetFilter-label"); s_label.setAttribute("title", facetFilter); - s_label.appendChild(document.createTextNode(facetFilter)); + + var length = 15; + var facetFilterString = facetFilter; + var facetFilterTruncatedString = facetFilterString.substring(0,length); + + s_label.appendChild(document.createTextNode(facetFilterTruncatedString)); var s_closer = document.createElement("A"); s_closer.setAttribute("class", "facetFilter-closer");