html_head.php 2.1 KB

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