2
0

html_head.php 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208
  1. <?php
  2. require_once __DIR__.'/../config.php';
  3. require_once __DIR__.'/../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="../config.js"></script>
  64. <script src="../../node_modules/jquery/dist/jquery.js"></script>
  65. <script src="../public/js/comm.js"></script>
  66. <script src="../studio/js/fixedsticky.js"></script>
  67. <script src="../guide/guide.js"></script>
  68. <link type="text/css" rel="stylesheet" href="../guide/guide.css" />
  69. <script src="../ucenter/setting.js"></script>
  70. <script src="../../node_modules/marked/marked.min.js"></script>
  71. <script src="../../node_modules/mermaid/dist/mermaid.min.js"></script>
  72. <script src="../public/js/notify.js"></script>
  73. <link type="text/css" rel="stylesheet" href="../public/css/notify.css" />
  74. <script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
  75. <link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css" />
  76. <script src="../term/term.js"></script>
  77. <script src="../term/note.js"></script>
  78. <script src="../term/term_popup.js"></script>
  79. <link type="text/css" rel="stylesheet" href="../term/term.css" />
  80. <link type="text/css" rel="stylesheet" href="../term/term_mobile.css" media="screen and (max-width:800px)">
  81. <?php
  82. if (isset($_GET["display"]) && $_GET["display"] == "para") {
  83. echo '<link type="text/css" rel="stylesheet" href="../term/term_para.css"/>';
  84. }
  85. ?>
  86. <script src="../channal/channal.js"></script>
  87. <script src="../term/popup_note.js"></script>
  88. <link type="text/css" rel="stylesheet" href="../term/popup_note.css" />
  89. <script src="../term/term_edit_dlg.js"></script>
  90. <link type="text/css" rel="stylesheet" href="../term/term_edit_dlg.css" />
  91. <script src="../uwbw/wbw_channal_list.js"></script>
  92. <script src="../usent/historay.js"></script>
  93. <script src="../term/pali_sim_sent.js"></script>
  94. <link type="text/css" rel="stylesheet" href="../term/pali_sim_dlg.css" />
  95. <script src="../term/related_para.js"></script>
  96. <script src="../widget/iframe_modal_win.js"></script>
  97. <link type="text/css" rel="stylesheet" href="../widget/iframe_modal_win.css"/>
  98. <script src="../commit/commit.js"></script>
  99. <link type="text/css" rel="stylesheet" href="../commit/commit.css"/>
  100. <script src="../inline_dict/inline_dict.js"></script>
  101. <script src="../widget/click_dropdown.js"></script>
  102. <link type="text/css" rel="stylesheet" href="../widget/click_dropdown.css" />
  103. <script src="../public/charcode/coverter_my.js"></script>
  104. <script src="../public/charcode/converter_si.js"></script>
  105. <script src="../public/charcode/converter_tai_tham.js"></script>
  106. <script src="../public/charcode/converter_thai.js"></script>
  107. <script>
  108. <?php require_once __DIR__.'/../public/load_lang_js.php'; ?>
  109. </script>
  110. <script src="../../node_modules/diff/dist/diff.js"></script>
  111. <style>
  112. body{
  113. background-color: var(--bg-color);
  114. }
  115. .list_with_head {
  116. display: flex;
  117. margin: 3px 0;
  118. }
  119. .head_img {
  120. display: inline-flex;
  121. min-width: 3em;
  122. height: 3em;
  123. padding: 0 0px;
  124. font-size: 60%;
  125. background-color: gray;
  126. color: white;
  127. border-radius: 1.5em;
  128. text-align: center;
  129. justify-content: center;
  130. margin: auto 2px;
  131. line-height: 3em;
  132. }
  133. .card {
  134. border-radius: 20px;
  135. box-shadow: 0 5px 7px rgba(0, 0, 0, 0.05);
  136. margin: 10px 0;
  137. background-color: white;
  138. padding: 0.7rem;
  139. display: flex;
  140. position: relative;
  141. word-break: break-word;
  142. }
  143. .card>.title>a,
  144. .card>.title>a:link {
  145. color: var(--main-color);
  146. }
  147. .card a:hover {
  148. color: var(--tool-link-hover-color);
  149. }
  150. .card_state {
  151. position: absolute;
  152. background-color: darkred;
  153. color: white;
  154. padding: 0 6px;
  155. right: -5px;
  156. }
  157. .index_inner {
  158. margin-left: auto;
  159. margin-right: auto;
  160. }
  161. .card li {
  162. white-space: normal;
  163. }
  164. .card code {
  165. white-space: normal;
  166. }
  167. </style>
  168. </head>