style.css 2.2 KB

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