styles.scss 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233
  1. /* Global styles. Place where eventually import other style files. */
  2. @import "./assets/scss/variables";
  3. @import "node_modules/bootstrap/scss/bootstrap";
  4. @import "./assets/scss/themes";
  5. @import "./assets/scss/mixins";
  6. @import "./assets/scss/bootstrapOverrides";
  7. @font-face {
  8. font-family: "Junicode";
  9. src: url("./assets/fonts/Junicode.woff") format("woff");
  10. font-weight: normal;
  11. font-style: normal;
  12. }
  13. @font-face {
  14. font-family: "Junicode";
  15. src: url("./assets/fonts/Junicode-Bold.woff") format("woff");
  16. font-weight: bold;
  17. font-style: normal;
  18. }
  19. @font-face {
  20. font-family: "Junicode";
  21. src: url("./assets/fonts/Junicode-Italic.woff") format("woff");
  22. font-weight: normal;
  23. font-style: italic;
  24. }
  25. @font-face {
  26. font-family: "Junicode";
  27. src: url("./assets/fonts/Junicode-BoldItalic.woff") format("woff");
  28. font-weight: bold;
  29. font-style: italic;
  30. }
  31. html,
  32. body {
  33. height: 100%;
  34. }
  35. body {
  36. overflow: hidden;
  37. }
  38. .edition-font {
  39. font-family: Junicode, Times, serif;
  40. }
  41. .ui-font {
  42. font-family: Arial, sans-serif; // TODO: decide which font to use for the UI
  43. }
  44. // ng-select overwrites
  45. .ng-select {
  46. position: relative;
  47. display: inline-flex !important;
  48. vertical-align: middle;
  49. font-size: 0.875rem;
  50. line-height: 1.5;
  51. border-radius: 0.2rem;
  52. padding-left: 5px;
  53. padding-right: 5px;
  54. .ng-select-container .ng-value-container .ng-placeholder {
  55. top: 0 !important;
  56. position: relative !important;
  57. }
  58. &.ng-select-focused:not(.ng-select-opened) > .ng-select-container {
  59. border: none;
  60. }
  61. .ng-select-container {
  62. height: 31px !important;
  63. min-height: 31px;
  64. vertical-align: middle;
  65. border: none;
  66. padding-left: 5px;
  67. @include themify($themes) {
  68. background-color: themed("toolsBackground") !important;
  69. color: themed("toolsColor");
  70. }
  71. }
  72. .ng-arrow-wrapper {
  73. padding-left: 6px;
  74. user-select: none;
  75. height: 100%;
  76. width: 24px;
  77. opacity: 0.5;
  78. &:hover {
  79. opacity: 1;
  80. }
  81. @include themify($themes) {
  82. background-color: themed("toolsBackgroundDarker") !important;
  83. }
  84. .ng-arrow {
  85. border-width: 5px 5px 0;
  86. vertical-align: text-bottom;
  87. @include themify($themes) {
  88. border-color: themed("baseColorDark") transparent transparent;
  89. }
  90. }
  91. }
  92. &.ng-select-opened > .ng-select-container {
  93. .ng-arrow-wrapper {
  94. opacity: 1;
  95. .ng-arrow {
  96. @include themify($themes) {
  97. border-color: transparent transparent themed("baseColorDark");
  98. }
  99. }
  100. }
  101. }
  102. .ng-dropdown-panel {
  103. @include themify($themes) {
  104. background-color: themed("toolsBackground") !important;
  105. color: themed("toolsColor");
  106. }
  107. }
  108. .ng-dropdown-panel-items {
  109. @include set("box-shadow", "0 0.125rem 0.25rem rgba(0, 0, 0, 0.1)");
  110. .ng-option {
  111. @include themify($themes) {
  112. background-color: themed("toolsBackground") !important;
  113. color: themed("toolsColor");
  114. }
  115. &.ng-option-marked {
  116. @include themify($themes) {
  117. background-color: rgba(themed("baseColorDark"), 0.1) !important;
  118. }
  119. }
  120. &.ng-option-selected {
  121. @include themify($themes) {
  122. background-color: themed("baseColorDark") !important;
  123. color: themed("baseColorLight") !important;
  124. }
  125. }
  126. }
  127. }
  128. &.ng-select-opened {
  129. .ng-arrow-wrapper .ng-arrow {
  130. border-width: 0 4px 4px;
  131. }
  132. }
  133. }
  134. .overflow-y-auto {
  135. overflow-y: auto;
  136. }
  137. .pointer {
  138. cursor: pointer;
  139. }
  140. .abbr,
  141. .expan {
  142. color: purple;
  143. text-decoration: underline;
  144. }
  145. .ex {
  146. font-style: italic;
  147. }
  148. .hidden {
  149. display: none;
  150. }
  151. .btn-close {
  152. height: 20px !important;
  153. width: 20px !important;
  154. line-height: 0.8rem;
  155. padding: 0;
  156. font-size: 0.9rem;
  157. }
  158. .more-info-label {
  159. display: none !important;
  160. }
  161. // add by FS to manage in scss specific files
  162. ul.lem-details.nav li.nav-item a.ui-font.nav-link {
  163. color: #000 !important;
  164. }
  165. ul.lem-details.nav li.nav-item a.ui-font.nav-link.active {
  166. background-color: #f7f7f7;
  167. }
  168. evt-lemmatized-entity.ng-star-inserted div.ne-detail-content.ng-star-inserted {
  169. background-color: #f7f7f7;
  170. }
  171. .ne-occurrence {
  172. border-radius: 4px;
  173. padding: 4px 6px;
  174. background: rgba(255, 255, 255, 0.5);
  175. margin-right: 3px;
  176. font-size: .7rem;
  177. margin-bottom: 3px;
  178. display: inline-block !important;
  179. cursor: pointer;
  180. line-height: 0.9rem;
  181. .ne-occurrence-count {
  182. top: -1px;
  183. position: relative;
  184. margin-left: 5px;
  185. border: 1px solid transparent;
  186. }
  187. &:hover {
  188. background: rgba(255, 255, 255, 0.8) !important;
  189. .ne-occurrence-count {
  190. border: 1px solid #ccc;
  191. }
  192. }
  193. }