mystyle.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200
  1. #lauchSearch{
  2. margin:auto;
  3. }
  4. #title {
  5. padding:5% 0;
  6. }
  7. .searchBar {
  8. padding: 5% 0;
  9. }
  10. #logo {
  11. width:100px;
  12. height:auto;
  13. }
  14. .choose_param {
  15. margin-bottom: 2%;
  16. }
  17. .barraDiRicerca {
  18. width:70%;
  19. }
  20. #cooccorrenze {
  21. margin-left: 5px;
  22. }
  23. #cooccorrenze_options {
  24. text-align: center;
  25. margin-top: 2%;
  26. padding: 0% 15%;
  27. }
  28. #add_cc {
  29. border: 1px solid grey;
  30. padding: 5px;
  31. }
  32. #result {
  33. margin:3%;
  34. font-size: 12px;
  35. }
  36. #result .row {
  37. padding: 1%;
  38. }
  39. #result .row:nth-child(even){
  40. background-color: #fff;
  41. }
  42. #result .row:nth-child(odd){
  43. background-color: #efefef;
  44. }
  45. #first_row {
  46. font-weight: bold;
  47. }
  48. .highlight {
  49. color: red;
  50. font-weight: bold;
  51. }
  52. #single-context-box {
  53. margin-top: 3%;
  54. }
  55. .box {
  56. border: 1px solid black;
  57. padding: 1% 3%;
  58. }
  59. #context-title {
  60. font-weight: bold;
  61. }
  62. .page:not(#pag_1) {
  63. display: none;
  64. }
  65. /*Loader*/
  66. .loader {
  67. border: 16px solid #f3f3f3;
  68. border-radius: 50%;
  69. border-top: 16px solid #3498db;
  70. width: 120px;
  71. height: 120px;
  72. -webkit-animation: spin 2s linear infinite; /* Safari */
  73. animation: spin 2s linear infinite;
  74. margin-left: auto;
  75. margin-right: auto;
  76. }
  77. /* Safari */
  78. @-webkit-keyframes spin {
  79. 0% { -webkit-transform: rotate(0deg); }
  80. 100% { -webkit-transform: rotate(360deg); }
  81. }
  82. @keyframes spin {
  83. 0% { transform: rotate(0deg); }
  84. 100% { transform: rotate(360deg); }
  85. }
  86. footer {
  87. margin-top: 150px;
  88. width: 100%;
  89. text-align: center;
  90. margin-bottom: 10px;
  91. }
  92. footer img {
  93. height: 80px;
  94. width: auto;
  95. }
  96. /* The container must be positioned relative: */
  97. .custom-select {
  98. position: relative;
  99. font-family: Arial;
  100. }
  101. .custom-select select {
  102. display: none; /*hide original SELECT element: */
  103. }
  104. .select-selected {
  105. background-color: DodgerBlue;
  106. }
  107. /* Style the arrow inside the select element: */
  108. .select-selected:after {
  109. position: absolute;
  110. content: "";
  111. top: 14px;
  112. right: 10px;
  113. width: 0;
  114. height: 0;
  115. border: 6px solid transparent;
  116. border-color: #fff transparent transparent transparent;
  117. }
  118. /* Point the arrow upwards when the select box is open (active): */
  119. .select-selected.select-arrow-active:after {
  120. border-color: transparent transparent #fff transparent;
  121. top: 7px;
  122. }
  123. /* style the items (options), including the selected item: */
  124. .select-items div,.select-selected {
  125. color: #ffffff;
  126. padding: 8px 16px;
  127. border: 1px solid transparent;
  128. border-color: transparent transparent rgba(0, 0, 0, 0.1) transparent;
  129. cursor: pointer;
  130. }
  131. /* Style items (options): */
  132. .select-items {
  133. position: absolute;
  134. background-color: DodgerBlue;
  135. top: 100%;
  136. left: 0;
  137. right: 0;
  138. z-index: 99;
  139. }
  140. /* Hide the items when the select box is closed: */
  141. .select-hide {
  142. display: none;
  143. }
  144. .select-items div:hover, .same-as-selected {
  145. background-color: rgba(0, 0, 0, 0.1);
  146. }
  147. .italic {
  148. font-style: italic;
  149. }
  150. .bold {
  151. font-weight: bold;
  152. }
  153. .underline {
  154. text-decoration-line: underline;
  155. }
  156. .linethrough {
  157. text-decoration-line: line-through;
  158. }
  159. /* Ugly workaround */
  160. .underlinethrough {
  161. text-decoration-line: underline line-through;
  162. }