html_head.php 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107
  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:767px)">
  28. <link href="https://fonts.googleapis.com/css2?family=Padauk:wght@400;700&display=swap" rel="stylesheet">
  29. <title>wikipāḷi</title>
  30. <script src="../public/js/jquery.js"></script>
  31. <script src="../public/js/comm.js"></script>
  32. <script src="../studio/js/fixedsticky.js"></script>
  33. <script src="../guide/guide.js"></script>
  34. <link type="text/css" rel="stylesheet" href="../guide/guide.css"/>
  35. <script src="../public/js/marked.js"></script>
  36. <script src="../public/js/mermaid.min.js"></script>
  37. <script src="../public/js/notify.js"></script>
  38. <link type="text/css" rel="stylesheet" href="../public/css/notify.css"/>
  39. <script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
  40. <link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css"/>
  41. <script src="../term/term.js"></script>
  42. <script src="../term/note.js"></script>
  43. <script src="../term/term_popup.js"></script>
  44. <link type="text/css" rel="stylesheet" href="../term/term.css"/>
  45. <script src="../term/term_edit_dlg.js"></script>
  46. <link type="text/css" rel="stylesheet" href="../term/term_edit_dlg.css"/>
  47. <script >
  48. <?php require_once '../public/load_lang_js.php';?>
  49. </script>
  50. <style>
  51. .list_with_head{
  52. display:flex;
  53. }
  54. .head_img{
  55. display: inline-block;
  56. width: 20px;
  57. font-size: 14px;
  58. padding: 2px;
  59. background-color: gray;
  60. color: white;
  61. border-radius: 99px;
  62. text-align: center;
  63. margin-right: 0.5em;
  64. margin-top: 0.5em;
  65. }
  66. .card{
  67. box-shadow: 0 0 10px rgba(0,0,0,0.15);
  68. font-size: 1em;
  69. line-height: 1.3;
  70. }
  71. .card>.title>a , .card>.title>a:link{
  72. color: var(--main-color);
  73. }
  74. .card a:hover{
  75. color: var(--tool-link-hover-color);
  76. }
  77. .index_inner {
  78. width: 960px;
  79. margin-left: auto;
  80. margin-right: auto;
  81. }
  82. .card li{
  83. white-space: normal;
  84. }
  85. .card code{
  86. white-space: normal;
  87. }
  88. body{
  89. font-family: 'Padauk', sans-serif;
  90. }
  91. </style>
  92. </head>