main.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171
  1. @import "reset.css";
  2. @import "font.css";
  3. @import "menu.css";
  4. @import "animation.css";
  5. body {
  6. background: rgba(0, 0, 0, 0.12);
  7. font-family: Roboto, Lucida Grande, sans, Arial;
  8. color: rgba(0, 0, 0, 0.87);
  9. font-size: 14px;
  10. }
  11. a {
  12. color: rgba(220, 0, 103, 0.87);
  13. text-decoration: none;
  14. }
  15. a:hover {
  16. text-decoration: underline;
  17. }
  18. header {
  19. display: flex;
  20. padding: 0 14px;
  21. background: #dc0067;
  22. color: rgba(255, 255, 255, 0.98);
  23. position: absolute;
  24. top: 0;
  25. width: 100%;
  26. box-sizing: border-box;
  27. height: 20vh;
  28. z-index: -1;
  29. box-shadow: 0px 5px 6px rgba(0, 0, 0, 0.16), 0px 1.5px 3px rgba(0, 0, 0, 0.23);
  30. white-space: nowrap;
  31. }
  32. header h1, header .icons {
  33. font-size: 24px;
  34. margin: 10px 0;
  35. padding: 6px 0;
  36. }
  37. header h1 {
  38. text-overflow: ellipsis;
  39. overflow: hidden;
  40. flex: 1;
  41. }
  42. header h1:hover {
  43. text-decoration: underline;
  44. cursor: pointer;
  45. }
  46. h1 {
  47. font-weight: bold;
  48. }
  49. h2, h3 {
  50. font-size: 16px;
  51. color: rgba(0, 0, 0, 0.54);
  52. }
  53. h2 {
  54. padding: 16px 16px;
  55. }
  56. h3 {
  57. padding: 16px 16px 8px;
  58. }
  59. .container {
  60. max-width: 90vw;
  61. margin: 64px auto 24px auto;
  62. background: rgb(253, 253, 253);
  63. box-shadow: 0px 5px 20px rgba(0, 0, 0, 0.19), 0px 3px 6px rgba(0, 0, 0, 0.23);
  64. }
  65. .container .frame {
  66. box-sizing: border-box;
  67. }
  68. .vertical-split {
  69. display: flex;
  70. }
  71. .vertical-split > .frame {
  72. flex: 1;
  73. border-style: solid;
  74. border-color: rgba(0, 0, 0, 0.12);
  75. }
  76. .vertical-split > .frame + .frame {
  77. border-width: 0 0 0 1px;
  78. }
  79. dl, pre {
  80. padding: 0 16px 16px;
  81. }
  82. table {
  83. margin: 0 16px;
  84. }
  85. dt, th {
  86. font-weight: bold;
  87. color: rgba(0, 0, 0, 0.87);
  88. }
  89. dt {
  90. margin-bottom: 4px;
  91. }
  92. th {
  93. text-align: left;
  94. padding: 4px 16px 4px 0;
  95. }
  96. dd, td {
  97. font-weight: normal;
  98. font-size: 0.9em;
  99. color: rgba(0, 0, 0, 0.54);
  100. }
  101. dd {
  102. padding-bottom: 16px;
  103. }
  104. table.datatable {
  105. width: calc(100% - 32px);
  106. }
  107. table.datatable td {
  108. font-size: 1em;
  109. padding: 4px 0;
  110. }
  111. table.datatable tr.inactive {
  112. opacity: 0.33;
  113. }
  114. table.datatable tr.highlight {
  115. background: rgba(255, 180, 0, 0.25);
  116. }
  117. div.signalgraph {
  118. margin: 16px;
  119. }
  120. @media only screen and (max-width: 1250px) {
  121. .container {
  122. max-width: none;
  123. margin: 56px 0 0;
  124. }
  125. header {
  126. height: 56px;
  127. z-index: 1;
  128. position: fixed;
  129. }
  130. }
  131. @media only screen and (max-width: 700px) {
  132. .vertical-split {
  133. display: block;
  134. }
  135. .vertical-split > .frame + .frame {
  136. border-width: 1px 0 0 0;
  137. }
  138. }