main.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222
  1. @font-face {
  2. font-family: 'RobotoMono';
  3. src: local('RobotoMono'), url('../files/RobotoMono-Regular.woff2') format('woff2');
  4. font-weight: normal;
  5. font-style: normal;
  6. }
  7. * {
  8. box-sizing: border-box; /* don't let padding modify width */
  9. }
  10. html, body {
  11. height: 100%;
  12. }
  13. body {
  14. margin: 0px;
  15. overflow: hidden;
  16. font-family: 'RobotoMono', monospace;
  17. font-size: 14px;
  18. line-height: 23px;
  19. background-color: #ffffff;
  20. color: #555;
  21. }
  22. a {
  23. text-decoration: none;
  24. }
  25. h1 {
  26. margin-top: 0px; /* reset */
  27. margin-left: 15px;
  28. margin-bottom: 20px;
  29. padding-top: 13px;
  30. font-size: 18px;
  31. font-weight: normal;
  32. }
  33. h1 a {
  34. color: #049EF4;
  35. }
  36. h2 {
  37. margin-top: 20px;
  38. font-size: 14px;
  39. font-weight: normal;
  40. color: #049EF4;
  41. }
  42. h3 {
  43. margin: 20px 0 0 0;
  44. font-size: 14px;
  45. line-height: 23px;
  46. font-weight: 500;
  47. text-transform: uppercase;
  48. color: #9E9E9E;
  49. }
  50. #panel {
  51. position: fixed;
  52. left: 0px;
  53. width: 300px;
  54. height: 100%;
  55. overflow: auto;
  56. background: white;
  57. border-right: 1px solid #f2f2f2;
  58. }
  59. #panel #header {
  60. position: -webkit-sticky;
  61. position: sticky;
  62. top: 0;
  63. background: white;
  64. }
  65. #panel #expandButton {
  66. position: absolute;
  67. right: 14px;
  68. top: 14px;
  69. display: none;
  70. }
  71. #panel #sections {
  72. font-size: 14px;
  73. padding: 0px 16px;
  74. }
  75. #panel #sections * {
  76. display: inline-block;
  77. margin-right: 35px;
  78. margin-bottom: 12px;
  79. font-weight: 500;
  80. color: #333333;
  81. }
  82. #panel #sections a {
  83. color: #9E9E9E;
  84. }
  85. #panel #filter {
  86. width: 100%;
  87. height: 40px;
  88. padding: 0px 48px;
  89. font-size: 15px;
  90. outline: none;
  91. border: 0px; /* reset */
  92. border-top: 1px solid #f2f2f2;
  93. border-bottom: 1px solid #f2f2f2;
  94. background: url( "../files/ic_search_black_24dp.svg" ) no-repeat;
  95. background-position: 14px center;
  96. }
  97. #panel #language {
  98. position: absolute;
  99. top: 98px;
  100. right: 14px;
  101. border: 0px;
  102. font-size: 14px;
  103. background: url( "ic_arrow_drop_down_black_24dp.svg" ) no-repeat;
  104. background-position: right center;
  105. background-color: white;
  106. padding: 4px 26px 4px 8px;
  107. -webkit-appearance: none;
  108. -moz-appearance: none;
  109. appearance: none;
  110. }
  111. #panel #language:focus {
  112. outline: none;
  113. }
  114. #panel #content {
  115. margin: 0px 16px;
  116. }
  117. #panel #content ul {
  118. list-style-type: none;
  119. padding: 0px;
  120. margin: 0px;
  121. }
  122. #panel #content a {
  123. color: #222222;
  124. }
  125. #panel #content a:hover {
  126. text-decoration: underline;
  127. }
  128. #panel #content .selected {
  129. color: #ff0000;
  130. }
  131. #panel #content .hidden {
  132. display: none !important;
  133. }
  134. iframe {
  135. position: absolute;
  136. border: 0px;
  137. left: 300px;
  138. width: calc(100% - 300px);
  139. height: 100%;
  140. overflow: auto;
  141. }
  142. /* mobile */
  143. @media all and ( max-width: 640px ) {
  144. #panel {
  145. position: absolute;
  146. left: 0;
  147. top: 0;
  148. height: 100%;
  149. width: 100%;
  150. right: 0;
  151. z-index: 100;
  152. border-bottom: 1px solid #dedede;
  153. }
  154. #panel #expandButton {
  155. display: block;
  156. }
  157. /*
  158. #navigation {
  159. position: absolute;
  160. left: 0;
  161. top: 90px;
  162. right: 0;
  163. bottom: 0;
  164. font-size: 17px;
  165. line-height: 22px;
  166. overflow: auto;
  167. }
  168. */
  169. iframe {
  170. position: absolute;
  171. left: 0;
  172. top: 92px;
  173. width: 100%;
  174. height: calc(100% - 92px);
  175. }
  176. #panel.collapsed {
  177. height: 92px;
  178. }
  179. }