html_head.php 2.4 KB

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