common.css 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141
  1. /*******************************************************************************
  2. ηMatrix - a browser extension to black/white list requests.
  3. Copyright (C) 2019-2022 Alessio Vanni
  4. This program is free software: you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation, either version 3 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program. If not, see {http://www.gnu.org/licenses/}.
  14. Home: https://gitlab.com/vannilla/ematrix
  15. uMatrix Home: https://github.com/gorhill/uMatrix
  16. */
  17. @font-face {
  18. font-family: 'httpsb';
  19. font-style: normal;
  20. font-weight: normal;
  21. src: local('httpsb'), url(fonts/Roboto_Condensed/RobotoCondensed-Regular.ttf) format('truetype');
  22. }
  23. @font-face {
  24. font-family: 'httpsb';
  25. font-style: normal;
  26. font-weight: bold;
  27. src: local('httpsb'), url(fonts/Roboto_Condensed/RobotoCondensed-Bold.ttf) format('truetype');
  28. }
  29. @font-face {
  30. font-family: 'httpsb';
  31. font-style: normal;
  32. font-weight: 100;
  33. src: local('httpsb'), url(fonts/Roboto_Condensed/RobotoCondensed-Light.ttf) format('truetype');
  34. }
  35. @font-face {
  36. font-family: 'FontAwesome';
  37. src: url('fonts/fontawesome-webfont.ttf') format('truetype');
  38. font-weight: normal;
  39. font-style: normal;
  40. }
  41. .fa {
  42. font-family: FontAwesome;
  43. font-style: normal;
  44. font-weight: normal;
  45. line-height: 1;
  46. vertical-align: baseline;
  47. display: inline-block;
  48. }
  49. body[dir="ltr"] {
  50. direction: ltr;
  51. }
  52. body[dir="rtl"] {
  53. direction: rtl;
  54. }
  55. /* http://stackoverflow.com/questions/2011142/how-to-change-the-style-of-title-attribute-inside-the-anchor-tag?answertab=votes */
  56. *[data-i18n-tip] {
  57. position: relative;
  58. cursor: pointer;
  59. }
  60. *[data-i18n-tip]::after {
  61. content: "";
  62. opacity: 0;
  63. }
  64. *[data-i18n-tip]:hover::after {
  65. background-color: #fffffa;
  66. border: 1px solid gray;
  67. border-radius: 3px;
  68. box-shadow: 1px 1px 3px gray;
  69. color: black;
  70. content: attr(data-tip);
  71. font: 12px sans-serif;
  72. line-height: 140%;
  73. min-width: 25vw;
  74. opacity: 1;
  75. padding: 4px 6px;
  76. pointer-events: none;
  77. position: absolute;
  78. text-align: start;
  79. top: 110%;
  80. -webkit-transition: opacity 0.15s 0.5s;
  81. transition: opacity 0.15s 0.5s;
  82. white-space: pre-line;
  83. z-index: 20;
  84. }
  85. body[dir="ltr"] .tip-anchor-left[data-i18n-tip]:hover::after,
  86. body[dir="rtl"] .tip-anchor-right[data-i18n-tip]:hover::after {
  87. left: -3vw;
  88. }
  89. body[dir="ltr"] .tip-anchor-right[data-i18n-tip]:hover::after,
  90. body[dir="rtl"] .tip-anchor-left[data-i18n-tip]:hover::after {
  91. right: -3vw;
  92. }
  93. button.custom {
  94. padding: 0.6em 1em;
  95. border: 1px solid transparent;
  96. border-color: #ccc #ccc #bbb #bbb;
  97. border-radius: 3px;
  98. background-color: hsl(216, 0%, 75%);
  99. background-image: linear-gradient(#f2f2f2, #dddddd);
  100. background-repeat: repeat-x;
  101. color: #000;
  102. opacity: 0.8;
  103. }
  104. button.custom:hover {
  105. opacity: 1.0;
  106. }
  107. button.custom.important {
  108. padding: 0.6em 1em;
  109. border: 1px solid transparent;
  110. border-color: #ffcc7f #ffcc7f hsl(36, 100%, 73%);
  111. border-radius: 3px;
  112. background-color: hsl(36, 100%, 75%);
  113. background-image: linear-gradient(#ffdca8, #ffcc7f);
  114. background-repeat: repeat-x;
  115. color: #222;
  116. opacity: 0.8;
  117. }
  118. button.custom.important:hover {
  119. opacity: 1.0;
  120. }
  121. button.custom.disabled,
  122. button.custom[disabled] {
  123. border-color: #ddd #ddd hsl(36, 0%, 85%);
  124. background-color: hsl(36, 0%, 72%);
  125. background-image: linear-gradient(#f2f2f2, #dddddd);
  126. color: #666;
  127. opacity: 0.6;
  128. pointer-events: none;
  129. }
  130. code {
  131. font-size: 90%;
  132. }