html_head.php 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  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 >
  45. <?php require_once '../public/load_lang_js.php';?>
  46. </script>
  47. <style>
  48. .list_with_head{
  49. display:flex;
  50. }
  51. .head_img{
  52. display: inline-block;
  53. width: 20px;
  54. font-size: 14px;
  55. padding: 2px;
  56. background-color: gray;
  57. color: white;
  58. border-radius: 99px;
  59. text-align: center;
  60. margin-right: 0.5em;
  61. margin-top: 0.5em;
  62. }
  63. .card{
  64. box-shadow: 0 0 10px rgba(0,0,0,0.15);
  65. font-size: 1em;
  66. line-height: 1.3;
  67. }
  68. .card>.title>a , .card>.title>a:link{
  69. color: var(--main-color);
  70. }
  71. .card a:hover{
  72. color: var(--tool-link-hover-color);
  73. }
  74. .index_inner {
  75. width: 960px;
  76. margin-left: auto;
  77. margin-right: auto;
  78. }
  79. .card li{
  80. white-space: normal;
  81. }
  82. .card code{
  83. white-space: normal;
  84. }
  85. </style>
  86. </head>