CommonSource.h 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  1. /*
  2. * This source file is part of RmlUi, the HTML/CSS Interface Middleware
  3. *
  4. * For the latest information, see http://github.com/mikke89/RmlUi
  5. *
  6. * Copyright (c) 2008-2010 CodePoint Ltd, Shift Technology Ltd
  7. * Copyright (c) 2019-2023 The RmlUi Team, and contributors
  8. *
  9. * Permission is hereby granted, free of charge, to any person obtaining a copy
  10. * of this software and associated documentation files (the "Software"), to deal
  11. * in the Software without restriction, including without limitation the rights
  12. * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  13. * copies of the Software, and to permit persons to whom the Software is
  14. * furnished to do so, subject to the following conditions:
  15. *
  16. * The above copyright notice and this permission notice shall be included in
  17. * all copies or substantial portions of the Software.
  18. *
  19. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  20. * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  21. * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  22. * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  23. * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  24. * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  25. * THE SOFTWARE.
  26. *
  27. */
  28. static const char* common_rcss = R"RCSS(
  29. body
  30. {
  31. font-family: rmlui-debugger-font;
  32. z-index: 1000000;
  33. font-size: 13dp;
  34. line-height: 1.4;
  35. color: black;
  36. padding-top: 30dp;
  37. }
  38. div, h1, h2, h3, h4, p
  39. {
  40. display: block;
  41. }
  42. em
  43. {
  44. font-style: italic;
  45. }
  46. h1
  47. {
  48. position: absolute;
  49. top: 0;
  50. right: 0;
  51. left: 0;
  52. height: 22dp;
  53. padding: 4dp 5dp;
  54. color: white;
  55. background-color: #888;
  56. font-size: 15dp;
  57. }
  58. h2
  59. {
  60. background-color: #ddd;
  61. border-width: 1dp 0px;
  62. border-color: #888;
  63. }
  64. h3
  65. {
  66. margin-top: 0.6em;
  67. color: red;
  68. }
  69. h4
  70. {
  71. color: #cc0000;
  72. }
  73. handle#position_handle
  74. {
  75. display: block;
  76. position: absolute;
  77. top: 0;
  78. right: 0;
  79. bottom: 0;
  80. left: 0;
  81. }
  82. h1 .button
  83. {
  84. z-index: 1;
  85. }
  86. div#close_button
  87. {
  88. margin-left: 10dp;
  89. z-index: 1;
  90. float: right;
  91. width: 18dp;
  92. color: black;
  93. background-color: #ddd;
  94. border-width: 1dp;
  95. border-color: #666;
  96. text-align: center;
  97. }
  98. div#close_button:hover
  99. {
  100. background-color: #eee;
  101. }
  102. div#close_button:active
  103. {
  104. background-color: #fff;
  105. }
  106. div#content
  107. {
  108. position: relative;
  109. width: auto;
  110. height: 100%;
  111. overflow: auto;
  112. background: white;
  113. border-width: 2dp;
  114. border-color: #888;
  115. border-top-width: 0;
  116. }
  117. .error
  118. {
  119. background: #d24040;
  120. color: white;
  121. border-color: #b74e4e;
  122. }
  123. .warning
  124. {
  125. background: #e8d34e;
  126. color: black;
  127. border-color: #ca9466;
  128. }
  129. .info
  130. {
  131. background: #2a9cdb;
  132. color: white;
  133. border-color: #3b70bb;
  134. }
  135. .debug
  136. {
  137. background: #3fab2a;
  138. color: white;
  139. border-color: #226c13;
  140. }
  141. scrollbarvertical
  142. {
  143. width: 16dp;
  144. scrollbar-margin: 16dp;
  145. }
  146. scrollbarhorizontal
  147. {
  148. height: 16dp;
  149. scrollbar-margin: 16dp;
  150. }
  151. scrollbarvertical slidertrack,
  152. scrollbarhorizontal slidertrack
  153. {
  154. background: #aaa;
  155. border-color: #888;
  156. }
  157. scrollbarvertical slidertrack
  158. {
  159. border-left-width: 1dp;
  160. }
  161. scrollbarhorizontal slidertrack
  162. {
  163. height: 15dp;
  164. border-top-width: 1dp;
  165. }
  166. scrollbarvertical sliderbar,
  167. scrollbarhorizontal sliderbar
  168. {
  169. background: #ddd;
  170. border-color: #888;
  171. }
  172. scrollbarvertical sliderbar
  173. {
  174. border-width: 1dp 0;
  175. margin-left: 1dp;
  176. }
  177. scrollbarhorizontal sliderbar
  178. {
  179. height: 15dp;
  180. border-width: 0 1dp;
  181. margin-top: 1dp;
  182. }
  183. scrollbarcorner
  184. {
  185. background: #888;
  186. }
  187. handle#size_handle
  188. {
  189. position: absolute;
  190. width: 16dp;
  191. height: 16dp;
  192. bottom: 0dp;
  193. right: 2dp;
  194. background-color: #888;
  195. }
  196. )RCSS";