You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

118 lines
3.0 KiB

10 years ago
10 years ago
10 years ago
10 years ago
10 years ago
10 years ago
10 years ago
10 years ago
  1. @font-face {
  2. font-family: 'httpsb';
  3. font-style: normal;
  4. font-weight: normal;
  5. src: local('httpsb'), url(fonts/Roboto_Condensed/RobotoCondensed-Regular.ttf) format('truetype');
  6. }
  7. @font-face {
  8. font-family: 'httpsb';
  9. font-style: normal;
  10. font-weight: bold;
  11. src: local('httpsb'), url(fonts/Roboto_Condensed/RobotoCondensed-Bold.ttf) format('truetype');
  12. }
  13. @font-face {
  14. font-family: 'httpsb';
  15. font-style: normal;
  16. font-weight: 100;
  17. src: local('httpsb'), url(fonts/Roboto_Condensed/RobotoCondensed-Light.ttf) format('truetype');
  18. }
  19. @font-face {
  20. font-family: 'FontAwesome';
  21. src: url('fonts/fontawesome-webfont.ttf') format('truetype');
  22. font-weight: normal;
  23. font-style: normal;
  24. }
  25. .fa {
  26. font-family: FontAwesome;
  27. font-style: normal;
  28. font-weight: normal;
  29. line-height: 1;
  30. vertical-align: baseline;
  31. display: inline-block;
  32. }
  33. body[dir="ltr"] {
  34. direction: ltr;
  35. }
  36. body[dir="rtl"] {
  37. direction: rtl;
  38. }
  39. /* http://stackoverflow.com/questions/2011142/how-to-change-the-style-of-title-attribute-inside-the-anchor-tag?answertab=votes */
  40. *[data-i18n-tip] {
  41. position: relative;
  42. cursor: pointer;
  43. }
  44. *[data-i18n-tip]:after {
  45. content: "";
  46. opacity: 0;
  47. }
  48. *[data-i18n-tip]:hover:after {
  49. background-color: #fffffa;
  50. border: 1px solid gray;
  51. border-radius: 3px;
  52. box-shadow: 1px 1px 3px gray;
  53. color: black;
  54. content: attr(data-tip);
  55. font: 12px sans-serif;
  56. line-height: 140%;
  57. min-width: 25vw;
  58. opacity: 1;
  59. padding: 4px 6px;
  60. pointer-events: none;
  61. position: absolute;
  62. text-align: start;
  63. top: 110%;
  64. -webkit-transition: opacity 0.15s 0.5s;
  65. transition: opacity 0.15s 0.5s;
  66. white-space: pre-line;
  67. z-index: 20;
  68. }
  69. body[dir="ltr"] .tip-anchor-left[data-i18n-tip]:hover:after,
  70. body[dir="rtl"] .tip-anchor-right[data-i18n-tip]:hover:after {
  71. left: -3vw;
  72. }
  73. body[dir="ltr"] .tip-anchor-right[data-i18n-tip]:hover:after,
  74. body[dir="rtl"] .tip-anchor-left[data-i18n-tip]:hover:after {
  75. right: -3vw;
  76. }
  77. button.custom {
  78. padding: 0.6em 1em;
  79. border: 1px solid transparent;
  80. border-color: #ccc #ccc #bbb #bbb;
  81. border-radius: 3px;
  82. background-color: hsl(216, 0%, 75%);
  83. background-image: linear-gradient(#f2f2f2, #dddddd);
  84. background-repeat: repeat-x;
  85. color: #000;
  86. opacity: 0.8;
  87. }
  88. button.custom:hover {
  89. opacity: 1.0;
  90. }
  91. button.custom.important {
  92. padding: 0.6em 1em;
  93. border: 1px solid transparent;
  94. border-color: #ffcc7f #ffcc7f hsl(36, 100%, 73%);
  95. border-radius: 3px;
  96. background-color: hsl(36, 100%, 75%);
  97. background-image: linear-gradient(#ffdca8, #ffcc7f);
  98. background-repeat: repeat-x;
  99. color: #222;
  100. opacity: 0.8;
  101. }
  102. button.custom.important:hover {
  103. opacity: 1.0;
  104. }
  105. button.custom.disabled,
  106. button.custom[disabled] {
  107. border-color: #ddd #ddd hsl(36, 0%, 85%);
  108. background-color: hsl(36, 0%, 72%);
  109. background-image: linear-gradient(#f2f2f2, #dddddd);
  110. color: #666;
  111. opacity: 0.6;
  112. pointer-events: none;
  113. }
  114. code {
  115. font-size: 90%;
  116. }