-body {\r
- background-color: white;\r
- font-family: Calibri;\r
-}\r
-\r
-input#search {\r
- font-size: smaller;\r
- background-color: #f8fffa;\r
- margin-left: auto;\r
- margin-right: auto;\r
- margin-top: 1ex;\r
- margin-bottom: 0ex;\r
- padding: 5pt;\r
- -moz-box-sizing: border-box;\r
- box-sizing: border-box;\r
- width: 100%;\r
-}\r
-\r
-form {\r
- margin: 0;\r
- padding: 0;\r
-}\r
-\r
-hr {\r
- border: 0;\r
- width: 100%;\r
- background-color: #cacaca;\r
- height: 1px;\r
-}\r
-\r
-.resultInfo {\r
- padding: 4px 1ex 4px 5px;\r
- margin: 10px 0pt 0px;\r
-}\r
-\r
-.modelNameText {\r
- font-size: small;\r
- color: black;\r
- margin-right: 1em;\r
- font-weight: bold;\r
- text-decoration: underline;\r
- float: left;\r
-}\r
-\r
-.resultCountText {\r
- font-size: small;\r
- font-weight: normal;\r
- color: #707070;\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-.dataTables_filter {\r
- //width: 50%;\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-ol {\r
- list-style-type: none;\r
- padding-left: 0;\r
- margin-left: 0;\r
-}\r
-\r
-li {\r
- padding-left: 0;\r
- margin-left: 0;\r
-}\r
-\r
-div.result {\r
- margin: 1ex;\r
- border: 1px solid #f4f4f4;\r
- padding: 1ex;\r
-}\r
-\r
-div.result:hover {\r
- background-color: #fafafa;\r
-}\r
-\r
-.small {\r
- font-size: x-small;\r
-}\r
-\r
-.emph:hover {\r
- background-color: #d0d0d0;\r
-}\r
-\r
-.small:hover {\r
- background-color: #e0e0e0;\r
-}\r
-\r
-.result:hover {\r
- background-color: #fafafa;\r
-}\r
-\r
-.ui-tabs {\r
- font-size: x-small;\r
-}\r
-\r
-table.tablesorter .css_right {\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-.dataTables_length {\r
- float: left;\r
-}\r
-\r
-div.dataTables_wrapper .ui-widget-header {\r
- font-weight: normal;\r
- font-size: small;\r
-}\r
-\r
-.dataTables_wrapper .ui-toolbar {\r
- padding: 5px;\r
-}\r
-\r
-.dataTables_info {\r
- float: left;\r
- padding: 3px 0px;\r
-}\r
-\r
-.dataTables_paginate {\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-.dataTables_paginate .ui-button {\r
- margin-right: -0.1em !important;\r
-}\r
-\r
-.paging_full_numbers .ui-button {\r
- padding: 2px 6px;\r
- margin: 0;\r
- cursor: pointer;\r
- * cursor: hand;\r
- color: #333 !important;\r
-}\r
-\r
+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;
+}
+