index.php 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273
  1. <?PHP
  2. include "../pcdl/html_head.php";
  3. ?>
  4. <body>
  5. <?php
  6. require_once("../pcdl/head_bar.php");
  7. ?>
  8. <script src="../public/js/marked.js"></script>
  9. <style>
  10. body{
  11. margin: unset;
  12. }
  13. .index_toolbar{
  14. position:unset;
  15. }
  16. .search_toolbar{
  17. height: initial;
  18. padding: 0.6em 1em 0.1em 1em;
  19. background-color: var(--tool-bg-color1);
  20. border-bottom: none;
  21. }
  22. .search_fixed{
  23. position: fixed;
  24. top:-500px;
  25. width:100%;
  26. display:flex;
  27. padding: 0.5em 1em;
  28. }
  29. #dict_search_result{
  30. display:flex;
  31. }
  32. #dict_list{
  33. flex:2;
  34. text-align: right;
  35. padding-right: 1em;
  36. border-right: 1px solid var(--border-line-color);
  37. }
  38. #dict_ref{
  39. flex:6;
  40. padding:0.5em 1.5em;
  41. }
  42. #dict_user{
  43. flex:2;
  44. }
  45. .dict_word_card{
  46. border-bottom: 1px solid var(--border-line-color);
  47. padding: 5px 0;
  48. display: block;
  49. border-radius: unset;
  50. margin: 10px 0;
  51. transition: unset;
  52. box-shadow: unset;
  53. }
  54. .dict_word{
  55. border-bottom: 1px solid var(--border-line-color);
  56. padding: 5px 0;
  57. display: block;
  58. border-radius: unset;
  59. margin: 10px 0;
  60. transition: unset;
  61. box-shadow: unset;
  62. }
  63. .dict_word>.dict {
  64. font-size: 110%;
  65. color: var(--main-color);
  66. border-bottom: unset;
  67. padding-bottom:10px;
  68. }
  69. .dict_word>.mean {
  70. font-size: unset;
  71. margin: 2px 0;
  72. line-height: 150%;
  73. font-weight: unset;
  74. display: block;
  75. }
  76. /*for word split part */
  77. .dropdown_ctl{
  78. display:inline-block;
  79. margin-right: 0.7em;
  80. }
  81. .dropdown_ctl>.content{
  82. display:flex;
  83. border: 1px solid var(--border-line-color);
  84. border-radius: 99px;
  85. }
  86. .dropdown_ctl>.menu{
  87. position:absolute;
  88. box-shadow: 0 0 10px rgba(0,0,0,0.15);
  89. display:none;
  90. }
  91. .dropdown_ctl>.menu{
  92. background-color: white;
  93. }
  94. .dropdown_ctl>.content>.main_view>part{
  95. margin:0 0.5em;
  96. color:cornflowerblue;
  97. cursor: pointer;
  98. }
  99. .dropdown_ctl>.menu>.part_list {
  100. padding: 5px;
  101. cursor: pointer;
  102. }
  103. .dropdown_ctl>.menu>.part_list:hover {
  104. background-color:azure;
  105. }
  106. .dropdown_ctl>.content>.more_button {
  107. background-color: var(--btn-color);
  108. min-width: 1.4em;
  109. text-align: center;
  110. border-radius: 99px;
  111. cursor: pointer;
  112. }
  113. guide{
  114. display:inline-block;
  115. width:1.4em;
  116. height:1.4em;
  117. cursor: pointer;
  118. background-color:gray;
  119. }
  120. #guide {
  121. width:18em;
  122. min-height:30em;
  123. background-color:white;
  124. box-shadow: 0 0 10px rgba(0,0,0,0.15);
  125. }
  126. #guide h1{
  127. font-size:2em;
  128. font-weight:700;
  129. }
  130. </style>
  131. <!-- tool bar begin-->
  132. <div id='search_toolbar' class="search_toolbar">
  133. <div style="display:flex;justify-content: space-between;">
  134. <div ></div>
  135. <div>
  136. <div>
  137. <div>
  138. <input id="dict_ref_search_input" type="input" placeholder="<?php echo $_local->gui->search;?>" onkeyup="dict_input_keyup(event,this)" style=" margin-left: 0.5em;width: 40em;max-width: 100%;font-size:140%;padding: 0.6em;color: var(--btn-hover-bg-color);background-color: var(--btn-color);" onfocus="dict_input_onfocus()" />
  139. </div>
  140. <div id="word_parts">
  141. <div id="input_parts" style="font-size: 1.1em;padding: 2px 1em;"></div>
  142. </div>
  143. </div>
  144. <div id="pre_search_result" style="background-color: var(--btn-color);z-index: 50;">
  145. <div id="pre_search_word" class="pre_serach_block">
  146. <div id="pre_search_word_title" class="pre_serach_block_title">
  147. <div id="pre_search_word_title_left">单词</div>
  148. <div id="pre_search_word_title_right"></div>
  149. </div>
  150. <div id="pre_search_word_content" class="pre_serach_content">
  151. </div>
  152. </div>
  153. </div>
  154. </div>
  155. <span>
  156. <button onclick="trubo_split()" style="height: fit-content;border: 1px solid var(--btn-border-color);background: var(--btn-color);border-radius: 4px;font-size: 1.2em;padding: 0.5em;">
  157. <?php echo $_local->gui->turbo_split;//强力拆分?>
  158. </button>
  159. <guide gid="comp_split">
  160. </guide>
  161. </span>
  162. <div ></div>
  163. </div>
  164. <div style="display:block;z-index: 5;text-align:center;">
  165. </div>
  166. </div>
  167. <!--tool bar end -->
  168. <!-- tool bar fixed begin-->
  169. <div id='search_toolbar_1' class="search_toolbar search_fixed">
  170. <div style="display:flex;">
  171. <span >
  172. 字典
  173. </span>
  174. <div>
  175. <div>
  176. <input id="dict_ref_search_input_1" type="input" placeholder="<?php echo $_local->gui->search;?>" onkeyup="dict_input_keyup(event,this)" style="margin-left: 0.5em;width: 40em;max-width: 80%;font-size:140%;padding: 0.3em;color: var(--btn-hover-bg-color);background-color: var(--btn-color);" onfocus="dict_input_onfocus()">
  177. </div>
  178. <div id="pre_search_result_1" style="position: absolute;max-width: 100%; width: 50em;background-color: var(--btn-color);z-index: 51;display: none;">
  179. <div class="pre_serach_block">
  180. <div class="pre_serach_block_title">
  181. <div id="pre_search_word_title_left_1">单词</div>
  182. <div id="pre_search_word_title_right_1"></div>
  183. </div>
  184. <div id="pre_search_word_content_1" class="pre_serach_content">
  185. </div>
  186. </div>
  187. </div>
  188. </div>
  189. </div>
  190. <div style="display:block;z-index: 5;">
  191. </div>
  192. </div>
  193. <!--tool bar fixed end -->
  194. <script>
  195. window.addEventListener('scroll',winScroll);
  196. function winScroll(e){
  197. if(GetPageScroll().y>150){
  198. $("#search_toolbar_1").css("top",0) ;
  199. }
  200. else{
  201. $("#search_toolbar_1").css("top",GetPageScroll().y - 150) ;
  202. }
  203. }
  204. //滚动条位置
  205. function GetPageScroll()
  206. {
  207. var pos=new Object();
  208. var x, y;
  209. if(window.pageYOffset)
  210. { // all except IE
  211. y = window.pageYOffset;
  212. x = window.pageXOffset;
  213. } else if(document.documentElement && document.documentElement.scrollTop)
  214. { // IE 6 Strict
  215. y = document.documentElement.scrollTop;
  216. x = document.documentElement.scrollLeft;
  217. } else if(document.body) { // all other IE
  218. y = document.body.scrollTop;
  219. x = document.body.scrollLeft;
  220. }
  221. pos.x=x;
  222. pos.y=y;
  223. return(pos);
  224. }
  225. </script>
  226. <style>
  227. #dt_title{
  228. border-bottom: 2px solid var(--link-hover-color);
  229. }
  230. </style>
  231. <script language="javascript" src="dict.js"></script>
  232. <div id="dict_search_result" style="background-color:white;color:black;">
  233. </div>
  234. <?php
  235. if(!empty($_GET["key"])){
  236. echo "<script>";
  237. echo "dict_pre_word_click(\"{$_GET["key"]}\")";
  238. echo "</script>";
  239. }
  240. ?>
  241. <div id="guide" style="position:absolute;"></div>
  242. <script>
  243. $("guide").mouseenter(function(){
  244. let id = $(this).attr("gid");
  245. var guideObj = $(this);
  246. $.get("../../documents/users_guide/en/"+id+".md",
  247. {
  248. },
  249. function(data,status){
  250. $("#guide").html(marked(data));
  251. $("#guide").appendTo(guideObj);
  252. //$("#guide").show();
  253. });
  254. });
  255. $("guide").mouseout(function(){
  256. //$("#guide").hide();
  257. });
  258. </script>
  259. <?php
  260. include "../pcdl/html_foot.php";
  261. ?>