html_head.php 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134
  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. <link rel="shortcut icon" href="http://www.wikipali.org/app/public/images/favicon/favicon.ico">
  30. <link rel="icon" sizes="16x16 32x32 64x64" href="http://www.wikipali.org/app/public/images/favicon/favicon.ico">
  31. <link rel="apple-touch-icon" sizes="180x180" href="http://www.wikipali.org/app/public/images/favicon/apple-touch-icon.png">
  32. <link rel="icon" type="image/png" sizes="32x32" href="http://www.wikipali.org/app/public/images/favicon/favicon-32x32.png">
  33. <link rel="icon" type="image/png" sizes="16x16" href="http://www.wikipali.org/app/public/images/favicon/favicon-16x16.png">
  34. <link rel="manifest" href="http://www.wikipali.org/app/public/images/favicon/site.webmanifest">
  35. <link rel="mask-icon" href="http://www.wikipali.org/app/public/images/favicon/safari-pinned-tab.svg" color="#333333">
  36. <title>wikipāḷi</title>
  37. <script src="../public/js/jquery.js"></script>
  38. <script src="../public/js/comm.js"></script>
  39. <script src="../studio/js/fixedsticky.js"></script>
  40. <script src="../guide/guide.js"></script>
  41. <link type="text/css" rel="stylesheet" href="../guide/guide.css"/>
  42. <script src="../public/js/marked.js"></script>
  43. <script src="../public/js/mermaid.min.js"></script>
  44. <script src="../public/js/notify.js"></script>
  45. <link type="text/css" rel="stylesheet" href="../public/css/notify.css"/>
  46. <script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
  47. <link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css"/>
  48. <script src="../term/term.js"></script>
  49. <script src="../term/note.js"></script>
  50. <script src="../term/term_popup.js"></script>
  51. <link type="text/css" rel="stylesheet" href="../term/term.css"/>
  52. <?php
  53. if(isset($_GET["display"]) && $_GET["display"]=="para"){
  54. echo '<link type="text/css" rel="stylesheet" href="../term/term_para.css"/>';
  55. }
  56. ?>
  57. <script src="../channal/channal.js"></script>
  58. <script src="../term/popup_note.js"></script>
  59. <link type="text/css" rel="stylesheet" href="../term/popup_note.css"/>
  60. <script src="../term/term_edit_dlg.js"></script>
  61. <link type="text/css" rel="stylesheet" href="../term/term_edit_dlg.css"/>
  62. <script src="../uwbw/wbw_channal_list.js"></script>
  63. <script src="../usent/historay.js"></script>
  64. <script src="../term/pali_sim_sent.js"></script>
  65. <link type="text/css" rel="stylesheet" href="../term/pali_sim_dlg.css"/>
  66. <script src="../term/related_para.js"></script>
  67. <script src="../widget/click_dropdown.js"></script>
  68. <link type="text/css" rel="stylesheet" href="../widget/click_dropdown.css"/>
  69. <script >
  70. <?php require_once '../public/load_lang_js.php';?>
  71. </script>
  72. <style>
  73. .list_with_head{
  74. display:flex;
  75. margin: 3px 0;
  76. }
  77. .head_img{
  78. display: inline-flex;
  79. min-width: 3em;
  80. height: 3em;
  81. padding: 0 0px;
  82. font-size: 60%;
  83. background-color: gray;
  84. color: white;
  85. border-radius: 1.5em;
  86. text-align: center;
  87. justify-content: center;
  88. margin: auto 2px;
  89. line-height: 3em;
  90. }
  91. .card{
  92. box-shadow: 0 0 10px rgba(0,0,0,0.15);
  93. font-size: 1em;
  94. line-height: 1.3;
  95. }
  96. .card>.title>a , .card>.title>a:link{
  97. color: var(--main-color);
  98. }
  99. .card a:hover{
  100. color: var(--tool-link-hover-color);
  101. }
  102. .index_inner {
  103. width:96vw;
  104. max-width: 960px;
  105. margin-left: auto;
  106. margin-right: auto;
  107. }
  108. .card li{
  109. white-space: normal;
  110. }
  111. .card code{
  112. white-space: normal;
  113. }
  114. </style>
  115. </head>