--- /dev/null
+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