index.php 7.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276
  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. <svg xmlns="http://www.w3.org/2000/svg" t="1596298528884" class="icon" viewBox="0 0 1024 1024" version="1.1" p-id="2093">
  161. <path d="M512 16C238.086 16 16 238.166 16 512c0 273.994 222.086 496 496 496s496-222.006 496-496C1008 238.166 785.914 16 512 16z m0 220c46.392 0 84 37.608 84 84s-37.608 84-84 84-84-37.608-84-84 37.608-84 84-84z m112 508c0 13.254-10.746 24-24 24h-176c-13.254 0-24-10.746-24-24v-48c0-13.254 10.746-24 24-24h24v-128h-24c-13.254 0-24-10.746-24-24v-48c0-13.254 10.746-24 24-24h128c13.254 0 24 10.746 24 24v200h24c13.254 0 24 10.746 24 24v48z" p-id="2094"/>
  162. </svg>
  163. </guide>
  164. </span>
  165. <div ></div>
  166. </div>
  167. <div style="display:block;z-index: 5;text-align:center;">
  168. </div>
  169. </div>
  170. <!--tool bar end -->
  171. <!-- tool bar fixed begin-->
  172. <div id='search_toolbar_1' class="search_toolbar search_fixed">
  173. <div style="display:flex;">
  174. <span >
  175. 字典
  176. </span>
  177. <div>
  178. <div>
  179. <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()">
  180. </div>
  181. <div id="pre_search_result_1" style="position: absolute;max-width: 100%; width: 50em;background-color: var(--btn-color);z-index: 51;display: none;">
  182. <div class="pre_serach_block">
  183. <div class="pre_serach_block_title">
  184. <div id="pre_search_word_title_left_1">单词</div>
  185. <div id="pre_search_word_title_right_1"></div>
  186. </div>
  187. <div id="pre_search_word_content_1" class="pre_serach_content">
  188. </div>
  189. </div>
  190. </div>
  191. </div>
  192. </div>
  193. <div style="display:block;z-index: 5;">
  194. </div>
  195. </div>
  196. <!--tool bar fixed end -->
  197. <script>
  198. window.addEventListener('scroll',winScroll);
  199. function winScroll(e){
  200. if(GetPageScroll().y>150){
  201. $("#search_toolbar_1").css("top",0) ;
  202. }
  203. else{
  204. $("#search_toolbar_1").css("top",GetPageScroll().y - 150) ;
  205. }
  206. }
  207. //滚动条位置
  208. function GetPageScroll()
  209. {
  210. var pos=new Object();
  211. var x, y;
  212. if(window.pageYOffset)
  213. { // all except IE
  214. y = window.pageYOffset;
  215. x = window.pageXOffset;
  216. } else if(document.documentElement && document.documentElement.scrollTop)
  217. { // IE 6 Strict
  218. y = document.documentElement.scrollTop;
  219. x = document.documentElement.scrollLeft;
  220. } else if(document.body) { // all other IE
  221. y = document.body.scrollTop;
  222. x = document.body.scrollLeft;
  223. }
  224. pos.x=x;
  225. pos.y=y;
  226. return(pos);
  227. }
  228. </script>
  229. <style>
  230. #dt_title{
  231. border-bottom: 2px solid var(--link-hover-color);
  232. }
  233. </style>
  234. <script language="javascript" src="dict.js"></script>
  235. <div id="dict_search_result" style="background-color:white;color:black;">
  236. </div>
  237. <?php
  238. if(!empty($_GET["key"])){
  239. echo "<script>";
  240. echo "dict_pre_word_click(\"{$_GET["key"]}\")";
  241. echo "</script>";
  242. }
  243. ?>
  244. <div id="guide" style="position:absolute;"></div>
  245. <script>
  246. $("guide").mouseenter(function(){
  247. let id = $(this).attr("gid");
  248. var guideObj = $(this);
  249. $.get("../../documents/users_guide/en/"+id+".md",
  250. {
  251. },
  252. function(data,status){
  253. $("#guide").html(marked(data));
  254. $("#guide").appendTo(guideObj);
  255. //$("#guide").show();
  256. });
  257. });
  258. $("guide").mouseout(function(){
  259. //$("#guide").hide();
  260. });
  261. </script>
  262. <?php
  263. include "../pcdl/html_foot.php";
  264. ?>