style.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146
  1. @import url(https://fonts.googleapis.com/css?family=Open+Sans:400,700);
  2. html,
  3. body {
  4. background-repeat: no-repeat;
  5. background-attachment: fixed;
  6. }
  7. p {
  8. font-family: 'Open Sans', sans-serif;
  9. margin: 0;
  10. padding: 0;
  11. }
  12. span,
  13. .varval {
  14. font-family: 'Open Sans', sans-serif;
  15. font-size: 28px;
  16. font-weight: 400;
  17. }
  18. .button {
  19. background-color: #4CAF50; /* Green */
  20. border: none;
  21. color: white;
  22. padding: 15px 32px;
  23. text-align: center;
  24. text-decoration: none;
  25. display: inline-block;
  26. font-size: 16px;
  27. margin: 4px 2px;
  28. cursor: pointer;
  29. }
  30. .button2 {background-color: #008CBA;} /* Blue */
  31. .button3 {background-color: #f44336;} /* Red */
  32. .showhide {
  33. background-color: #e7e7e7;
  34. color: black;
  35. position: absolute;
  36. left: 0;
  37. bottom: 0;
  38. }
  39. #tool-btn {
  40. padding: 20px;
  41. position: absolute;
  42. left: 200px;
  43. bottom: 0;
  44. background-color: rgba(0, 0, 0, 0.7);
  45. z-index: 100;
  46. }
  47. .save,
  48. .add,
  49. .remove,
  50. .highlight {
  51. background-color: #e7e7e7;
  52. color: black;
  53. }
  54. .info {
  55. color:ghostwhite;
  56. }
  57. .button5 {background-color: #555555;} /* Black */
  58. .varbox {
  59. position: absolute;
  60. width: 50px;
  61. border: dashed 5px #ccc;
  62. }
  63. .databox {
  64. border: dashed 5px rgba(0,0,0,0);
  65. }
  66. .databox:hover {
  67. z-index: 9999 !important;
  68. }
  69. .statusbox {
  70. position: absolute;
  71. width: 50px;
  72. padding: 5px;
  73. }
  74. #page_info {
  75. position: absolute;
  76. top: 10px;
  77. left: 20px;
  78. font-family: 'Open Sans', sans-serif;
  79. font-size: 16px;
  80. color: darkgray;
  81. }
  82. .box_highlight {
  83. border-color: red;
  84. }
  85. .glowing_border {
  86. border: 2px solid #FF0000;
  87. border-radius: 7px;
  88. }
  89. [tooltip]:before {
  90. /* needed - do not touch */
  91. content: attr(tooltip);
  92. position: absolute;
  93. opacity: 0;
  94. /* customizable */
  95. transition: all 0.15s ease;
  96. padding: 10px;
  97. color: #fff;
  98. border-radius: 10px;
  99. box-shadow: 2px 2px 1px silver;
  100. font-family: 'Open Sans', sans-serif;
  101. text-align:center;
  102. }
  103. [tooltip]:hover:before {
  104. /* needed - do not touch */
  105. opacity: 1;
  106. /* customizable */
  107. background: black;
  108. width: 150px;
  109. margin-top: -50px;
  110. margin-left: 20px;
  111. }
  112. [tooltip]:not([tooltip-persistent]):before {
  113. pointer-events: none;
  114. }
  115. div .popup {
  116. position: absolute;
  117. width: 600px;
  118. height: 400px;
  119. visibility: hidden;
  120. }
  121. div:hover .popup {
  122. visibility: visible;
  123. z-index: 1;
  124. }