bundles/org.simantics.workbench.search/search/search.css

   1 body {
   2     background-color: white;
   3     font-family: Calibri;
   4 }
   5
   6 input#search {
   7     font-size: smaller;
   8     background-color: #f8fffa;
   9     margin-left: auto;
  10     margin-right: auto;
  11     margin-top: 1ex;
  12     margin-bottom: 0ex;
  13     padding: 5pt;
  14     -moz-box-sizing: border-box;
  15     box-sizing: border-box;
  16     width: 100%;
  17 }
  18
  19 form {
  20     margin: 0;
  21     padding: 0;
  22 }
  23
  24 hr {
  25     border: 0;
  26     width: 100%;
  27     background-color: #cacaca;
  28     height: 1px;
  29 }
  30
  31 .resultInfo {
  32     padding: 4px 1ex 4px 5px;
  33     margin: 10px 0pt 0px;
  34 }
  35
  36 .modelNameText {
  37     font-size: small;
  38     color: black;
  39     margin-right: 1em;
  40     font-weight: bold;
  41     text-decoration: underline;
  42     float: left;
  43 }
  44
  45 .resultCountText {
  46     font-size: small;
  47     font-weight: normal;
  48     color: #707070;
  49     float: right;
  50         text-align: right;
  51 }
  52
  53 .dataTables_filter {
  54     //width: 50%;
  55     float: right;
  56     text-align: right;
  57 }
  58
  59 ol {
  60     list-style-type: none;
  61     padding-left: 0;
  62     margin-left: 0;
  63 }
  64
  65 li {
  66     padding-left: 0;
  67     margin-left: 0;
  68 }
  69
  70 div.result {
  71     margin: 1ex;
  72     border: 1px solid #f4f4f4;
  73     padding: 1ex;
  74 }
  75
  76 div.result:hover {
  77     background-color: #fafafa;
  78 }
  79
  80 .small {
  81     font-size: x-small;
  82 }
  83
  84 .emph:hover {
  85     background-color: #d0d0d0;
  86 }
  87
  88 .small:hover {
  89     background-color: #e0e0e0;
  90 }
  91
  92 .result:hover {
  93     background-color: #fafafa;
  94 }
  95
  96 .ui-tabs {
  97    font-size: x-small;
  98 }
  99
 100 table.tablesorter .css_right {
 101         float: right;
 102         text-align: right;
 103 }
 104
 105 .dataTables_length {
 106     float: left;
 107 }
 108
 109 div.dataTables_wrapper .ui-widget-header {
 110     font-weight: normal;
 111     font-size: small;
 112 }
 113
 114 .dataTables_wrapper .ui-toolbar {
 115     padding: 5px;
 116 }
 117
 118 .dataTables_info {
 119     float: left;
 120     padding: 3px 0px;
 121 }
 122
 123 .dataTables_paginate {
 124     float: right;
 125     text-align: right;
 126 }
 127
 128 .dataTables_paginate .ui-button {
 129         margin-right: -0.1em !important;
 130 }
 131
 132 .paging_full_numbers .ui-button {
 133         padding: 2px 6px;
 134         margin: 0;
 135         cursor: pointer;
 136         * cursor: hand;
 137         color: #333 !important;
 138 }
 139