html_head.php 6.5 KB

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