MenuSource.h 2.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  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* menu_rcss = R"RCSS(
  29. body
  30. {
  31. width: 100%;
  32. height: 32dp;
  33. position: absolute;
  34. z-index: 1000000;
  35. background: #888;
  36. font-family: rmlui-debugger-font;
  37. font-size: 14dp;
  38. color: black;
  39. }
  40. div
  41. {
  42. display: block;
  43. }
  44. div#button-group
  45. {
  46. margin-top: 3dp;
  47. }
  48. button
  49. {
  50. border-width: 1px;
  51. border-color: #666;
  52. background: #ddd;
  53. margin-left: 6dp;
  54. display: inline-block;
  55. width: 130dp;
  56. line-height: 24dp;
  57. text-align: center;
  58. }
  59. button:hover
  60. {
  61. background: #eee;
  62. }
  63. button:active
  64. {
  65. background: #fff;
  66. }
  67. div#version-info
  68. {
  69. padding: 0px;
  70. margin-top: 0px;
  71. font-size: 20dp;
  72. float: right;
  73. margin-right: 20dp;
  74. width: 200dp;
  75. text-align: right;
  76. color: white;
  77. }
  78. span#version-number
  79. {
  80. font-size: 15dp;
  81. }
  82. )RCSS";
  83. static const char* menu_rml = R"RML(
  84. <div id="version-info">RmlUi <span id="version-number"></span></div>
  85. <div id="button-group">
  86. <button id="event-log-button">Event Log</button>
  87. <button id="debug-info-button">Element Info</button>
  88. <button id="outlines-button">Outlines</button>
  89. </div>
  90. )RML";