html_head.php 6.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206
  1. <?php
  2. require_once '../path.php';
  3. require_once '../public/load_lang.php';
  4. if (isset($_GET["language"])) {
  5. $currLanguage = $_GET["language"];
  6. $_COOKIE["language"] = $currLanguage;
  7. } else {
  8. if (isset($_COOKIE["language"])) {
  9. $currLanguage = $_COOKIE["language"];
  10. } else {
  11. $currLanguage = "en";
  12. $_COOKIE["language"] = $currLanguage;
  13. }
  14. }
  15. ?>
  16. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
  17. <html>
  18. <head>
  19. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  20. <meta name="viewport" content="width=device-width, initial-scale=1">
  21. <link type="text/css" rel="stylesheet" href="../pcdl/css/font.css" />
  22. <link type="text/css" rel="stylesheet" href="../pcdl/css/basic_style.css" />
  23. <link type="text/css" rel="stylesheet" href="../pcdl/css/style.css" />
  24. <?php
  25. if(isset($_GET["theme"]) && $_GET["theme"]==="dark"){
  26. ?>
  27. <link type="text/css" rel="stylesheet" href="../pcdl/css/color_night.css" id="colorchange" />
  28. <?php
  29. }else{
  30. ?>
  31. <link type="text/css" rel="stylesheet" href="../pcdl/css/color_day.css" id="colorchange" />
  32. <?php
  33. }
  34. ?>
  35. <link type="text/css" rel="stylesheet" href="../pcdl/css/style_mobile.css" media="screen and (max-width:800px)">
  36. <link href="https://fonts.googleapis.com/css2?family=Padauk:wght@400;700&display=swap" rel="stylesheet">
  37. <!-- generics -->
  38. <link rel="icon" type="image/png" href="../public/images/favicon/favicon16.png" sizes="16x16">
  39. <link rel="icon" type="image/png" href="../public/images/favicon/favicon32.png" sizes="32x32">
  40. <link rel="icon" type="image/png" href="../public/images/favicon/favicon57.png" sizes="57x57">
  41. <link rel="icon" type="image/png" href="../public/images/favicon/favicon76.png" sizes="76x76">
  42. <link rel="icon" type="image/png" href="../public/images/favicon/favicon96.png" sizes="96x96">
  43. <link rel="icon" type="image/png" href="../public/images/favicon/favicon128.png" sizes="128x128">
  44. <link rel="icon" type="image/png" href="../public/images/favicon/favicon192.png" sizes="192x192">
  45. <link rel="icon" type="image/png" href="../public/images/favicon/favicon228.png" sizes="228x228">
  46. <link rel="icon" type="image/png" href="../public/images/favicon/android-chrome-512x512.png" sizes="512x512">
  47. <!-- Android -->
  48. <link rel="shortcut icon" type="image/png" sizes="196x196" href=“../public/images/favicon/favicon-196.png">
  49. <!-- iOS -->
  50. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon120.png" sizes="120x120">
  51. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon152.png" sizes="152x152">
  52. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon167.png" sizes="167x167">
  53. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon180.png" sizes="180x180">
  54. <!-- Windows 8 IE 10-->
  55. <meta name="msapplication-TileColor" content="#FFFFFF">
  56. <meta name="msapplication-TileImage" content="../public/images/favicon/favicon144.png">
  57. <!-- Windows 8.1 + IE11 and above -->
  58. <meta name="msapplication-config" content="../public/images/favicon/browserconfig.xml" />
  59. <link rel="shortcut icon" href="../public/images/favicon/favicon.ico">
  60. <link rel="manifest" href="../public/images/favicon/site.webmanifest">
  61. <link rel="mask-icon" href="../public/images/favicon/safari-pinned-tab.svg" color="#333333">
  62. <title id="page_title">wikipāḷi</title>
  63. <script src="../../node_modules/jquery/dist/jquery.js"></script>
  64. <script src="../public/js/comm.js"></script>
  65. <script src="../studio/js/fixedsticky.js"></script>
  66. <script src="../guide/guide.js"></script>
  67. <link type="text/css" rel="stylesheet" href="../guide/guide.css" />
  68. <script src="../ucenter/setting.js"></script>
  69. <script src="../../node_modules/marked/marked.min.js"></script>
  70. <script src="../../node_modules/mermaid/dist/mermaid.min.js"></script>
  71. <script src="../public/js/notify.js"></script>
  72. <link type="text/css" rel="stylesheet" href="../public/css/notify.css" />
  73. <script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
  74. <link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css" />
  75. <script src="../term/term.js"></script>
  76. <script src="../term/note.js"></script>
  77. <script src="../term/term_popup.js"></script>
  78. <link type="text/css" rel="stylesheet" href="../term/term.css" />
  79. <link type="text/css" rel="stylesheet" href="../term/term_mobile.css" media="screen and (max-width:800px)">
  80. <?php
  81. if (isset($_GET["display"]) && $_GET["display"] == "para") {
  82. echo '<link type="text/css" rel="stylesheet" href="../term/term_para.css"/>';
  83. }
  84. ?>
  85. <script src="../channal/channal.js"></script>
  86. <script src="../term/popup_note.js"></script>
  87. <link type="text/css" rel="stylesheet" href="../term/popup_note.css" />
  88. <script src="../term/term_edit_dlg.js"></script>
  89. <link type="text/css" rel="stylesheet" href="../term/term_edit_dlg.css" />
  90. <script src="../uwbw/wbw_channal_list.js"></script>
  91. <script src="../usent/historay.js"></script>
  92. <script src="../term/pali_sim_sent.js"></script>
  93. <link type="text/css" rel="stylesheet" href="../term/pali_sim_dlg.css" />
  94. <script src="../term/related_para.js"></script>
  95. <script src="../widget/iframe_modal_win.js"></script>
  96. <link type="text/css" rel="stylesheet" href="../widget/iframe_modal_win.css"/>
  97. <script src="../commit/commit.js"></script>
  98. <link type="text/css" rel="stylesheet" href="../commit/commit.css"/>
  99. <script src="../inline_dict/inline_dict.js"></script>
  100. <script src="../widget/click_dropdown.js"></script>
  101. <link type="text/css" rel="stylesheet" href="../widget/click_dropdown.css" />
  102. <script src="../public/charcode/coverter_my.js"></script>
  103. <script src="../public/charcode/converter_si.js"></script>
  104. <script src="../public/charcode/converter_tai_tham.js"></script>
  105. <script src="../public/charcode/converter_thai.js"></script>
  106. <script>
  107. <?php require_once '../public/load_lang_js.php'; ?>
  108. </script>
  109. <script src="../../node_modules/diff/dist/diff.js"></script>
  110. <style>
  111. body{
  112. background-color: var(--bg-color);
  113. }
  114. .list_with_head {
  115. display: flex;
  116. margin: 3px 0;
  117. }
  118. .head_img {
  119. display: inline-flex;
  120. min-width: 3em;
  121. height: 3em;
  122. padding: 0 0px;
  123. font-size: 60%;
  124. background-color: gray;
  125. color: white;
  126. border-radius: 1.5em;
  127. text-align: center;
  128. justify-content: center;
  129. margin: auto 2px;
  130. line-height: 3em;
  131. }
  132. .card {
  133. border-radius: 20px;
  134. box-shadow: 0 5px 7px rgba(0, 0, 0, 0.05);
  135. margin: 10px 0;
  136. background-color: white;
  137. padding: 0.7rem;
  138. display: flex;
  139. position: relative;
  140. word-break: break-word;
  141. }
  142. .card>.title>a,
  143. .card>.title>a:link {
  144. color: var(--main-color);
  145. }
  146. .card a:hover {
  147. color: var(--tool-link-hover-color);
  148. }
  149. .card_state {
  150. position: absolute;
  151. background-color: darkred;
  152. color: white;
  153. padding: 0 6px;
  154. right: -5px;
  155. }
  156. .index_inner {
  157. margin-left: auto;
  158. margin-right: auto;
  159. }
  160. .card li {
  161. white-space: normal;
  162. }
  163. .card code {
  164. white-space: normal;
  165. }
  166. </style>
  167. </head>