Simulate graph states in the browser
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.

140 lines
2.2KB

  1. html, body { margin: 0; padding: 0; overflow: hidden; font-size: 10pt; font-family: monospace; }
  2. #node_info {
  3. background: rgba(0, 0, 0, .8);
  4. color:white;
  5. padding: 5px;
  6. margin:0px;
  7. position: absolute;
  8. top:5px;
  9. left:5px;
  10. font-family: monospace;
  11. text-align: center;
  12. font-size:9pt;
  13. /*height:15px;*/
  14. border-radius:3px;
  15. pointer-events: none;
  16. }
  17. #server_info {
  18. background-color: black;
  19. color:white;
  20. padding: 10px;
  21. font-family: monospace;
  22. position: absolute;
  23. top: 10px;
  24. right: 10px;
  25. font-size: 9pt;
  26. }
  27. #node_name {
  28. font-size: 12pt;
  29. }
  30. #node_data {
  31. background-color: black;
  32. color:white;
  33. padding: 10px;
  34. font-family: monospace;
  35. position: absolute;
  36. top: 10px;
  37. left: 10px;
  38. font-size: 9pt;
  39. }
  40. #controls {
  41. background-color: black;
  42. color:white;
  43. padding: 10px;
  44. font-family: monospace;
  45. position: absolute;
  46. bottom: 10px;
  47. left: 10px;
  48. font-size: 9pt;
  49. }
  50. #controls a {
  51. color: white;
  52. background-color: #222222;
  53. border: 1px solid #555555;
  54. padding: 3px;
  55. margin: 1px;
  56. display: inline-block;
  57. text-decoration: none;
  58. }
  59. #node_data a {
  60. color: white;
  61. background-color: #222222;
  62. border: 1px solid #555555;
  63. padding: 3px;
  64. margin: 1px;
  65. display: inline-block;
  66. text-decoration: none;
  67. }
  68. #version {
  69. color:black;
  70. padding: 10px;
  71. font-family: monospace;
  72. position: absolute;
  73. bottom: 10px;
  74. left: 10px;
  75. font-size: 9pt;
  76. }
  77. #help {
  78. color:black;
  79. padding: 10px;
  80. font-family: monospace;
  81. position: absolute;
  82. bottom: 10px;
  83. right: 10px;
  84. font-size: 9pt;
  85. }
  86. #help a{
  87. color: black;
  88. }
  89. ul {
  90. list-style-type: none;
  91. padding: 0px;
  92. margin: 0px;
  93. }
  94. li{
  95. padding:3px;
  96. padding-left: 0em;
  97. }
  98. .visible {
  99. visibility: visible;
  100. opacity: 1;
  101. transform: scale(1);
  102. transition: opacity .08s linear, transform .08s linear;
  103. }
  104. .hidden {
  105. visibility: hidden;
  106. opacity: 0;
  107. transform: scale(.5);
  108. transition: visibility .08s, opacity .08s linear, transform .08s linear;
  109. }
  110. a {
  111. color: yellow;
  112. }
  113. h3 {
  114. padding-top: 0px;
  115. padding-bottom: 0px;
  116. margin-top: 2px;
  117. margin-bottom: 2px;
  118. }