InfoSource.h 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146
  1. static const char* info_rcss = R"RCSS(
  2. body
  3. {
  4. width: 320dp;
  5. min-width: 320dp;
  6. margin-top: 42dp;
  7. margin-right: 20dp;
  8. margin-left: auto;
  9. }
  10. div#content
  11. {
  12. height: auto;
  13. min-height: 200dp;
  14. max-height: 650dp;
  15. }
  16. div#content div h2
  17. {
  18. padding-left: 5dp;
  19. }
  20. div#content div div
  21. {
  22. font-size: 12dp;
  23. padding-left: 10dp;
  24. }
  25. div#content .name
  26. {
  27. color: #610;
  28. }
  29. div#position p:hover,
  30. div#ancestors p:hover,
  31. div#children p:hover
  32. {
  33. background-color: #ddd;
  34. }
  35. scrollbarvertical
  36. {
  37. scrollbar-margin: 0px;
  38. }
  39. h3.strong
  40. {
  41. margin-top: 1.0em;
  42. padding: 2dp;
  43. color: #900;
  44. background-color: #eee;
  45. }
  46. #pseudo pseudo
  47. {
  48. padding: 0 8dp 0 3dp;
  49. background-color: #ddd;
  50. border: 2px #aaa;
  51. display: inline-block;
  52. }
  53. #pseudo pseudo.active
  54. {
  55. border-color: #8af;
  56. background-color: #eef;
  57. }
  58. div.header_button
  59. {
  60. font-size: 0.9em;
  61. margin-left: 3dp;
  62. z-index: 1;
  63. float: right;
  64. width: 18dp;
  65. color: #999;
  66. background-color: #666;
  67. border-width: 1px;
  68. border-color: #666;
  69. text-align: center;
  70. }
  71. div.header_button.active
  72. {
  73. border-color: #ccc;
  74. color: #fff;
  75. }
  76. div.header_button:hover
  77. {
  78. background-color: #555;
  79. }
  80. div.header_button:active
  81. {
  82. background-color: #444;
  83. }
  84. div#title-content {
  85. width: 220dp;
  86. }
  87. div#title-content em {
  88. font-size: 14dp;
  89. }
  90. p.non_dom {
  91. font-style: italic;
  92. }
  93. .break-all {
  94. word-break: break-all;
  95. }
  96. )RCSS";
  97. static const char* info_rml = R"RML(
  98. <h1>
  99. <handle id="position_handle" move_target="#document"/>
  100. <div id="close_button">X</div>
  101. <div id="update_source" class="header_button active">U</div>
  102. <div id="show_source" class="header_button active">D</div>
  103. <div id="enable_element_select" class="header_button active">*</div>
  104. <div id="title-content">Element Information</div>
  105. </h1>
  106. <div id="content">
  107. <div id="pseudo">
  108. <pseudo name="hover" class="active">:hover</pseudo>
  109. <pseudo name="active">:active</pseudo>
  110. <pseudo name="focus">:focus</pseudo>
  111. <pseudo name="checked">:checked</pseudo>
  112. <span id="extra"></span>
  113. </div>
  114. <div id="attributes">
  115. <h2>Attributes</h2>
  116. <div id="attributes-content">
  117. </div>
  118. </div>
  119. <div id="properties">
  120. <h2>Properties</h2>
  121. <div id="properties-content">
  122. </div>
  123. </div>
  124. <div id="events">
  125. <h2>Events</h2>
  126. <div id="events-content">
  127. </div>
  128. </div>
  129. <div id="position">
  130. <h2>Position</h2>
  131. <div id="position-content">
  132. </div>
  133. </div>
  134. <div id="ancestors">
  135. <h2>Ancestors</h2>
  136. <div id="ancestors-content">
  137. </div>
  138. </div>
  139. <div id="children">
  140. <h2>Children</h2>
  141. <div id="children-content">
  142. </div>
  143. </div>
  144. </div>
  145. )RML";