html_head.php 2.7 KB

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