styles.scss 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188
  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. .ng-select-container .ng-value-container .ng-placeholder {
  53. top: 0 !important;
  54. position: relative !important;
  55. }
  56. &.ng-select-focused:not(.ng-select-opened) > .ng-select-container {
  57. border: none;
  58. }
  59. .ng-select-container {
  60. height: 31px !important;
  61. min-height: 31px;
  62. vertical-align: middle;
  63. border: none;
  64. @include themify($themes) {
  65. background-color: themed("toolsBackground") !important;
  66. color: themed("toolsColor");
  67. }
  68. }
  69. .ng-arrow-wrapper {
  70. padding-left: 6px;
  71. user-select: none;
  72. height: 100%;
  73. width: 24px;
  74. opacity: 0.5;
  75. &:hover {
  76. opacity: 1;
  77. }
  78. @include themify($themes) {
  79. background-color: themed("toolsBackgroundDarker") !important;
  80. }
  81. .ng-arrow {
  82. border-width: 5px 5px 0;
  83. vertical-align: text-bottom;
  84. @include themify($themes) {
  85. border-color: themed("baseColorDark") transparent transparent;
  86. }
  87. }
  88. }
  89. &.ng-select-opened > .ng-select-container {
  90. .ng-arrow-wrapper {
  91. opacity: 1;
  92. .ng-arrow {
  93. @include themify($themes) {
  94. border-color: transparent transparent themed("baseColorDark");
  95. }
  96. }
  97. }
  98. }
  99. .ng-dropdown-panel {
  100. @include themify($themes) {
  101. background-color: themed("toolsBackground") !important;
  102. color: themed("toolsColor");
  103. }
  104. }
  105. .ng-dropdown-panel-items {
  106. @include set("box-shadow", "0 0.125rem 0.25rem rgba(0, 0, 0, 0.1)");
  107. .ng-option {
  108. @include themify($themes) {
  109. background-color: themed("toolsBackground") !important;
  110. color: themed("toolsColor");
  111. }
  112. &.ng-option-marked {
  113. @include themify($themes) {
  114. background-color: rgba(themed("baseColorDark"), 0.1) !important;
  115. }
  116. }
  117. &.ng-option-selected {
  118. @include themify($themes) {
  119. background-color: themed("baseColorDark") !important;
  120. color: themed("baseColorLight") !important;
  121. }
  122. }
  123. }
  124. }
  125. &.ng-select-opened {
  126. .ng-arrow-wrapper .ng-arrow {
  127. border-width: 0 4px 4px;
  128. }
  129. }
  130. }
  131. .overflow-y-auto {
  132. overflow-y: auto;
  133. }
  134. .pointer {
  135. cursor: pointer;
  136. }
  137. .abbr,
  138. .expan {
  139. color: purple;
  140. text-decoration: underline;
  141. }
  142. .ex {
  143. font-style: italic;
  144. }
  145. .hidden {
  146. display: none;
  147. }
  148. .btn-close {
  149. height: 20px !important;
  150. width: 20px !important;
  151. line-height: 0.8rem;
  152. padding: 0;
  153. font-size: 0.9rem;
  154. }
  155. .more-info-label {
  156. display: none !important;
  157. }