X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.workbench.search%2Fsearch%2Fsearch.css;h=813bddd6c96d76286e52591454ec74935340312b;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=56df06f27a8b167025db3f46a393d4e20ad6913e;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.workbench.search/search/search.css b/bundles/org.simantics.workbench.search/search/search.css
index 56df06f27..813bddd6c 100644
--- a/bundles/org.simantics.workbench.search/search/search.css
+++ b/bundles/org.simantics.workbench.search/search/search.css
@@ -1,139 +1,139 @@
-body {
-    background-color: white;
-    font-family: Calibri;
-}
-
-input#search {
-    font-size: smaller;
-    background-color: #f8fffa;
-    margin-left: auto;
-    margin-right: auto;
-    margin-top: 1ex;
-    margin-bottom: 0ex;
-    padding: 5pt;
-    -moz-box-sizing: border-box;
-    box-sizing: border-box;
-    width: 100%;
-}
-
-form {
-    margin: 0;
-    padding: 0;
-}
-
-hr {
-    border: 0;
-    width: 100%;
-    background-color: #cacaca;
-    height: 1px;
-}
-
-.resultInfo {
-    padding: 4px 1ex 4px 5px;
-    margin: 10px 0pt 0px;
-}
-
-.modelNameText {
-    font-size: small;
-    color: black;
-    margin-right: 1em;
-    font-weight: bold;
-    text-decoration: underline;
-    float: left;
-}
-
-.resultCountText {
-    font-size: small;
-    font-weight: normal;
-    color: #707070;
-    float: right;
-	text-align: right;
-}
-
-.dataTables_filter {
-    //width: 50%;
-    float: right;
-    text-align: right;
-}
-
-ol {
-    list-style-type: none;
-    padding-left: 0;
-    margin-left: 0;
-}
-
-li {
-    padding-left: 0;
-    margin-left: 0;
-}
-
-div.result {
-    margin: 1ex;
-    border: 1px solid #f4f4f4;
-    padding: 1ex;
-}
-
-div.result:hover {
-    background-color: #fafafa;
-}
-
-.small {
-    font-size: x-small;
-}
-
-.emph:hover {
-    background-color: #d0d0d0;
-}
-
-.small:hover {
-    background-color: #e0e0e0;
-}
-
-.result:hover {
-    background-color: #fafafa;
-}
-
-.ui-tabs {
-   font-size: x-small;
-}
-
-table.tablesorter .css_right {
-	float: right;
-	text-align: right;
-}
-
-.dataTables_length {
-    float: left;
-}
-
-div.dataTables_wrapper .ui-widget-header {
-    font-weight: normal;
-    font-size: small;
-}
-
-.dataTables_wrapper .ui-toolbar {
-    padding: 5px;
-}
-
-.dataTables_info {
-    float: left;
-    padding: 3px 0px;
-}
-
-.dataTables_paginate {
-    float: right;
-    text-align: right;
-}
-
-.dataTables_paginate .ui-button {
-	margin-right: -0.1em !important;
-}
-
-.paging_full_numbers .ui-button {
-	padding: 2px 6px;
-	margin: 0;
-	cursor: pointer;
-	* cursor: hand;
-	color: #333 !important;
-}
-
+body {
+    background-color: white;
+    font-family: Calibri;
+}
+
+input#search {
+    font-size: smaller;
+    background-color: #f8fffa;
+    margin-left: auto;
+    margin-right: auto;
+    margin-top: 1ex;
+    margin-bottom: 0ex;
+    padding: 5pt;
+    -moz-box-sizing: border-box;
+    box-sizing: border-box;
+    width: 100%;
+}
+
+form {
+    margin: 0;
+    padding: 0;
+}
+
+hr {
+    border: 0;
+    width: 100%;
+    background-color: #cacaca;
+    height: 1px;
+}
+
+.resultInfo {
+    padding: 4px 1ex 4px 5px;
+    margin: 10px 0pt 0px;
+}
+
+.modelNameText {
+    font-size: small;
+    color: black;
+    margin-right: 1em;
+    font-weight: bold;
+    text-decoration: underline;
+    float: left;
+}
+
+.resultCountText {
+    font-size: small;
+    font-weight: normal;
+    color: #707070;
+    float: right;
+	text-align: right;
+}
+
+.dataTables_filter {
+    //width: 50%;
+    float: right;
+    text-align: right;
+}
+
+ol {
+    list-style-type: none;
+    padding-left: 0;
+    margin-left: 0;
+}
+
+li {
+    padding-left: 0;
+    margin-left: 0;
+}
+
+div.result {
+    margin: 1ex;
+    border: 1px solid #f4f4f4;
+    padding: 1ex;
+}
+
+div.result:hover {
+    background-color: #fafafa;
+}
+
+.small {
+    font-size: x-small;
+}
+
+.emph:hover {
+    background-color: #d0d0d0;
+}
+
+.small:hover {
+    background-color: #e0e0e0;
+}
+
+.result:hover {
+    background-color: #fafafa;
+}
+
+.ui-tabs {
+   font-size: x-small;
+}
+
+table.tablesorter .css_right {
+	float: right;
+	text-align: right;
+}
+
+.dataTables_length {
+    float: left;
+}
+
+div.dataTables_wrapper .ui-widget-header {
+    font-weight: normal;
+    font-size: small;
+}
+
+.dataTables_wrapper .ui-toolbar {
+    padding: 5px;
+}
+
+.dataTables_info {
+    float: left;
+    padding: 3px 0px;
+}
+
+.dataTables_paginate {
+    float: right;
+    text-align: right;
+}
+
+.dataTables_paginate .ui-button {
+	margin-right: -0.1em !important;
+}
+
+.paging_full_numbers .ui-button {
+	padding: 2px 6px;
+	margin: 0;
+	cursor: pointer;
+	* cursor: hand;
+	color: #333 !important;
+}
+