styles.scss 9.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415
  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: 97%;
  34. }
  35. // body {
  36. // overflow: visible !important;
  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. html body evt-root evt-main-header nav.navbar.justify-content-between.temp-header {
  73. @include themify($themes) {
  74. background-color: themed("mainHeaderBackground") !important;
  75. color: themed("mainHeaderColor");
  76. }
  77. }
  78. .ng-arrow-wrapper {
  79. padding-left: 6px;
  80. user-select: none;
  81. height: 100%;
  82. width: 24px;
  83. opacity: 0.5;
  84. &:hover {
  85. opacity: 1;
  86. }
  87. @include themify($themes) {
  88. background-color: themed("toolsBackgroundDarker") !important;
  89. }
  90. .ng-arrow {
  91. border-width: 5px 5px 0;
  92. vertical-align: text-bottom;
  93. @include themify($themes) {
  94. border-color: themed("baseColorDark") transparent transparent;
  95. }
  96. }
  97. }
  98. &.ng-select-opened > .ng-select-container {
  99. .ng-arrow-wrapper {
  100. opacity: 1;
  101. .ng-arrow {
  102. @include themify($themes) {
  103. border-color: transparent transparent themed("baseColorDark");
  104. }
  105. }
  106. }
  107. }
  108. .ng-dropdown-panel {
  109. @include themify($themes) {
  110. background-color: themed("toolsBackground") !important;
  111. color: themed("toolsColor");
  112. }
  113. }
  114. .ng-dropdown-panel-items {
  115. @include set("box-shadow", "0 0.125rem 0.25rem rgba(0, 0, 0, 0.1)");
  116. .ng-option {
  117. @include themify($themes) {
  118. background-color: themed("toolsBackground") !important;
  119. color: themed("toolsColor");
  120. }
  121. &.ng-option-marked {
  122. @include themify($themes) {
  123. background-color: rgba(themed("baseColorDark"), 0.1) !important;
  124. }
  125. }
  126. &.ng-option-selected {
  127. @include themify($themes) {
  128. background-color: themed("baseColorDark") !important;
  129. color: themed("baseColorLight") !important;
  130. }
  131. }
  132. }
  133. }
  134. &.ng-select-opened {
  135. .ng-arrow-wrapper .ng-arrow {
  136. border-width: 0 4px 4px;
  137. }
  138. }
  139. }
  140. .overflow-y-auto {
  141. overflow-y: auto;
  142. }
  143. .pointer {
  144. cursor: pointer;
  145. }
  146. // .abbr,
  147. // .expan {
  148. // color: purple;
  149. // text-decoration: underline;
  150. // }
  151. .expan evt-text {
  152. &:before {
  153. content: "(";
  154. }
  155. &:after {
  156. content: ")";
  157. }
  158. }
  159. .corr[type='expunction']{
  160. &:before {
  161. content: "<";
  162. }
  163. &:after {
  164. content: ">";
  165. }
  166. }
  167. .hi[rend='italic'] {
  168. font-style: italic;
  169. }
  170. .ex {
  171. font-style: italic;
  172. }
  173. .hidden {
  174. display: none;
  175. }
  176. .btn-close {
  177. height: 20px !important;
  178. width: 20px !important;
  179. line-height: 0.8rem;
  180. padding: 0;
  181. font-size: 0.9rem;
  182. }
  183. .more-info-label {
  184. display: none !important;
  185. }
  186. // add by FS to manage in scss specific files
  187. ul.lem-details.nav li.nav-item a.ui-font.nav-link {
  188. color: #000 !important;
  189. }
  190. ul.lem-details.nav li.nav-item a.ui-font.nav-link.active {
  191. background-color: #f7f7f7;
  192. }
  193. evt-lemmatized-entity.ng-star-inserted div.ne-detail-content.ng-star-inserted {
  194. background-color: #f7f7f7;
  195. }
  196. .ne-occurrence {
  197. border-radius: 4px;
  198. padding: 4px 6px;
  199. background: rgba(255, 255, 255, 0.5);
  200. margin-right: 3px;
  201. font-size: .7rem;
  202. margin-bottom: 3px;
  203. display: inline-block !important;
  204. cursor: pointer;
  205. line-height: 0.9rem;
  206. .ne-occurrence-count {
  207. top: -1px;
  208. position: relative;
  209. margin-left: 5px;
  210. border: 1px solid transparent;
  211. }
  212. &:hover {
  213. background: rgba(255, 255, 255, 0.8) !important;
  214. .ne-occurrence-count {
  215. border: 1px solid #ccc;
  216. }
  217. }
  218. }
  219. // Provvisorio
  220. .lemmatizedEntityRef.highlighted {
  221. background-color: antiquewhite;
  222. }
  223. .iperlemmatizedEntityRef.highlighted {
  224. text-decoration: underline antiquewhite ;
  225. }
  226. .external-link-alt {
  227. color: #000;
  228. }
  229. #abcb9a36175c{
  230. display: hidden !important;
  231. }
  232. .popower-body evt-text {
  233. text-transform: uppercase !important;
  234. }
  235. span.iperlemmatizedEntityRef.w.highlight {
  236. font-weight: 700;
  237. }
  238. .btn {
  239. &.active {
  240. @include themify($themes) {
  241. background: themed("toolsColorActive") !important;
  242. }
  243. }
  244. }
  245. // evt-main-header {
  246. // overflow: visible !important;
  247. // }
  248. html body evt-root evt-main-header nav.navbar.justify-content-between.temp-header div evt-button.ng-star-inserted button.btn.btn-sm.btn-no-border.viewMode-btn.btn-light.btn-inverted.btn-hovered.shadow-sm.active evt-icon.ng-star-inserted span.evt-icon-imgTxt.viewMode-selector.icon.ng-star-inserted {
  249. color: white;
  250. box-shadow: 0 2px 4px rgba(0, 0, 0, .4) !important;
  251. // @include themify($themes) {
  252. // color: themed("toolsColorActive");
  253. // background-color: themed("toolsBackground");
  254. // }
  255. }
  256. // .btn {
  257. // outline: none;
  258. // border: none;
  259. // &[disabled]{
  260. // cursor: default;
  261. // }
  262. // &.btn-sm {
  263. // height: 31px;
  264. // }
  265. // &:focus {
  266. // box-shadow: none;
  267. // }
  268. // @include themify($themes) {
  269. // color: themed("toolsColor");
  270. // background-color: themed("toolsBackground");
  271. // border-color: themed("toolsBackground");
  272. // }
  273. // &:hover:not([disabled]) {
  274. // @include set("box-shadow", "1px 2px 3px rgba(0, 0, 0, .4) inset !important");
  275. // }
  276. // &.active {
  277. // @include themify($themes) {
  278. // background: themed("toolsColorActive") !important;
  279. // }
  280. // }
  281. // &.transparent {
  282. // background: none !important;
  283. // border-color: transparent !important;
  284. // &.active {
  285. // @include themify($themes) {
  286. // color: themed("toolsColorActive");
  287. // }
  288. // }
  289. // }
  290. // &.btn-inverted {
  291. // background: transparent;
  292. // border: none;
  293. // box-shadow: none;
  294. // @include themify($themes) {
  295. // color: themed("toolsBackground");
  296. // background-color: themed("toolsColor");
  297. // border-color: themed("toolsColor");
  298. // &:hover,
  299. // &.btn-hovered {
  300. // background: rgba(themed("toolsBackground"), 0.2);
  301. // }
  302. // }
  303. // }
  304. // &.btn-floating {
  305. // @include set("box-shadow", "0 2px 4px rgba(0, 0, 0, .4) !important");
  306. // @include themify($themes) {
  307. // color: themed("toolsBackground");
  308. // background-color: themed("toolsColor");
  309. // border-color: themed("toolsColor");
  310. // }
  311. // &:hover {
  312. // @include set("box-shadow", "none !important");
  313. // }
  314. // &.rounded-circle {
  315. // height: 40px;
  316. // width: 40px;
  317. // }
  318. // }
  319. // }
  320. footer.footerz {
  321. position: absolute !important;
  322. width: 100%;
  323. height: 3em;
  324. background-color: #0a4553;
  325. color: white;
  326. // padding-top: 2px;
  327. a {
  328. color: white;
  329. }
  330. .partner-list {
  331. background-color: rgba(250,250,250,.5);
  332. border-radius: 6px;
  333. padding: 1px 2px;
  334. }
  335. .img-logo{
  336. height: 2em;
  337. padding: 1px;
  338. }
  339. .container {
  340. padding: 4px;
  341. }
  342. }
  343. html body footer#footerz.footerz div.container div.row div.col-lg-9.h-100.text-center.my-auto{
  344. padding-left: 400px !important;
  345. }
  346. // evt-root {
  347. // position: relative !important;
  348. // min-height: 100vh;
  349. // }