2
0

html_head.php 5.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157
  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. }
  8. else{
  9. if(isset($_COOKIE["language"])){
  10. $currLanguage=$_COOKIE["language"];
  11. }
  12. else{
  13. $currLanguage="en";
  14. $_COOKIE["language"]=$currLanguage;
  15. }
  16. }
  17. ?>
  18. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
  19. <html>
  20. <head>
  21. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  22. <meta name="viewport" content="width=device-width, initial-scale=1">
  23. <link type="text/css" rel="stylesheet" href="../pcdl/css/font.css"/>
  24. <link type="text/css" rel="stylesheet" href="../pcdl/css/basic_style.css"/>
  25. <link type="text/css" rel="stylesheet" href="../pcdl/css/style.css"/>
  26. <link type="text/css" rel="stylesheet" href="../pcdl/css/color_day.css" id="colorchange" />
  27. <link type="text/css" rel="stylesheet" href="../pcdl/css/style_mobile.css" media="screen and (max-width:800px)">
  28. <link href="https://fonts.googleapis.com/css2?family=Padauk:wght@400;700&display=swap" rel="stylesheet">
  29. <!-- generics -->
  30. <link rel="icon" type="image/png" href="../public/images/favicon/favicon16.png" sizes="16x16">
  31. <link rel="icon" type="image/png" href="../public/images/favicon/favicon32.png" sizes="32x32">
  32. <link rel="icon" type="image/png" href="../public/images/favicon/favicon57.png" sizes="57x57">
  33. <link rel="icon" type="image/png" href="../public/images/favicon/favicon76.png" sizes="76x76">
  34. <link rel="icon" type="image/png" href="../public/images/favicon/favicon96.png" sizes="96x96">
  35. <link rel="icon" type="image/png" href="../public/images/favicon/favicon128.png" sizes="128x128">
  36. <link rel="icon" type="image/png" href="../public/images/favicon/favicon192.png" sizes="192x192">
  37. <link rel="icon" type="image/png" href="../public/images/favicon/favicon228.png" sizes="228x228">
  38. <link rel="icon" type="image/png" href="../public/images/favicon/android-chrome-512x512.png" sizes="512x512">
  39. <!-- Android -->
  40. <link rel="shortcut icon" type="image/png" sizes="196x196" href=“../public/images/favicon/favicon-196.png">
  41. <!-- iOS -->
  42. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon120.png" sizes="120x120">
  43. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon152.png" sizes="152x152">
  44. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon167.png" sizes="167x167">
  45. <link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon180.png" sizes="180x180">
  46. <!-- Windows 8 IE 10-->
  47. <meta name="msapplication-TileColor" content="#FFFFFF">
  48. <meta name="msapplication-TileImage" content="../public/images/favicon/favicon144.png">
  49. <!-- Windows 8.1 + IE11 and above -->
  50. <meta name="msapplication-config" content="../public/images/favicon/browserconfig.xml" />
  51. <link rel="shortcut icon" href="../public/images/favicon/favicon.ico">
  52. <link rel="manifest" href="../public/images/favicon/site.webmanifest">
  53. <link rel="mask-icon" href="../public/images/favicon/safari-pinned-tab.svg" color="#333333">
  54. <title>wikipāḷi</title>
  55. <script src="../public/js/jquery.js"></script>
  56. <script src="../public/js/comm.js"></script>
  57. <script src="../studio/js/fixedsticky.js"></script>
  58. <script src="../guide/guide.js"></script>
  59. <link type="text/css" rel="stylesheet" href="../guide/guide.css"/>
  60. <script src="../public/js/marked.js"></script>
  61. <script src="../public/js/mermaid.min.js"></script>
  62. <script src="../public/js/notify.js"></script>
  63. <link type="text/css" rel="stylesheet" href="../public/css/notify.css"/>
  64. <script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
  65. <link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css"/>
  66. <script src="../term/term.js"></script>
  67. <script src="../term/note.js"></script>
  68. <script src="../term/term_popup.js"></script>
  69. <link type="text/css" rel="stylesheet" href="../term/term.css"/>
  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/click_dropdown.js"></script>
  86. <link type="text/css" rel="stylesheet" href="../widget/click_dropdown.css"/>
  87. <script >
  88. <?php require_once '../public/load_lang_js.php';?>
  89. </script>
  90. <style>
  91. .list_with_head{
  92. display:flex;
  93. margin: 3px 0;
  94. }
  95. .head_img{
  96. display: inline-flex;
  97. min-width: 3em;
  98. height: 3em;
  99. padding: 0 0px;
  100. font-size: 60%;
  101. background-color: gray;
  102. color: white;
  103. border-radius: 1.5em;
  104. text-align: center;
  105. justify-content: center;
  106. margin: auto 2px;
  107. line-height: 3em;
  108. }
  109. .card{
  110. box-shadow: 0 0 10px rgba(0,0,0,0.15);
  111. font-size: 1em;
  112. line-height: 1.3;
  113. }
  114. .card>.title>a , .card>.title>a:link{
  115. color: var(--main-color);
  116. }
  117. .card a:hover{
  118. color: var(--tool-link-hover-color);
  119. }
  120. .index_inner {
  121. width:96vw;
  122. max-width: 960px;
  123. margin-left: auto;
  124. margin-right: auto;
  125. }
  126. .card li{
  127. white-space: normal;
  128. }
  129. .card code{
  130. white-space: normal;
  131. }
  132. </style>
  133. </head>