صفحهٔ اصلی گشت‌و‌گذار راهنما
ثبت نام ورود
iapt-platform
/
mint
mirrorاز https://github.com/iapt-platform/mint.git
2
0
انشعاب 0
پرونده‌ها مشکلات 0 ویکی
درخت: 6bdfc8b5c1
شاخه‌ها تگ‌ها
mint
/
app
/
pcdl
/
html_head.php

html_head.php 3.2 KB
تاريخچه خام

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113 
  1. <?php
    2. 

  2. require_once '../path.php';
    3. 

  3. require_once '../public/load_lang.php';
    4. 

  4. 

  5. if(isset($_GET["language"])){
    6. 

  6. 	$currLanguage=$_GET["language"];
    7. 

  7. 	$_COOKIE["language"]=$currLanguage;
    8. 

  8. }
    9. 

  9. else{
    10. 

  10. 	if(isset($_COOKIE["language"])){
    11. 

  11. 		$currLanguage=$_COOKIE["language"];
    12. 

  12. 	}
    13. 

  13. 	else{
    14. 

  14. 		$currLanguage="en";
    15. 

  15. 		$_COOKIE["language"]=$currLanguage;
    16. 

  16. 	}
    17. 

  17. }
    18. 

  18. 

  19. ?>
    20. 

  20. 

  21. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
    22. 

  22. <html>
    23. 

  23. <head>
    24. 

  24.     <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
    25. 

  25. 	<meta name="viewport" content="width=device-width, initial-scale=1">
    26. 

  26. 	<link type="text/css" rel="stylesheet" href="../pcdl/css/font.css"/>
    27. 

  27.     <link type="text/css" rel="stylesheet" href="../pcdl/css/basic_style.css"/>
    28. 

  28.     <link type="text/css" rel="stylesheet" href="../pcdl/css/style.css"/>
    29. 

  29.     <link type="text/css" rel="stylesheet" href="../pcdl/css/color_day.css" id="colorchange" />
    30. 

  30.     <link type="text/css" rel="stylesheet" href="../pcdl/css/style_mobile.css" media="screen and (max-width:767px)">
    31. 

  31. 	<link href="https://fonts.googleapis.com/css2?family=Padauk:wght@400;700&display=swap" rel="stylesheet">
    32. 

  32. 

  33.     <title>wikipāḷi</title>
    34. 

  34. 

  35. 	<script src="../public/js/jquery.js"></script>
    36. 

  36. 	<script src="../public/js/comm.js"></script>
    37. 

  37. 	<script src="../studio/js/fixedsticky.js"></script>
    38. 

  38. 	<script src="../guide/guide.js"></script>
    39. 

  39. 	<link type="text/css" rel="stylesheet" href="../guide/guide.css"/>
    40. 

  40. 

  41. 	<script src="../public/js/marked.js"></script>
    42. 

  42. 	<script src="../public/js/mermaid.min.js"></script>
    43. 

  43. 

  44. 	<script src="../public/js/notify.js"></script>
    45. 

  45.     <link type="text/css" rel="stylesheet" href="../public/css/notify.css"/>
    46. 

  46. 

  47. 	<script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
    48. 

  48. 	<link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css"/>	
    49. 

  49. 

  50. 	<script src="../term/term.js"></script>
    51. 

  51. 	<script src="../term/note.js"></script>
    52. 

  52. 	<script src="../term/term_popup.js"></script>
    53. 

  53. 	<link type="text/css" rel="stylesheet" href="../term/term.css"/>
    54. 

  54. 	<?php
    55. 

  55. 		if(isset($_GET["display"]) && $_GET["display"]=="para"){
    56. 

  56. 			echo '<link type="text/css" rel="stylesheet" href="../term/term_para.css"/>';
    57. 

  57. 		}
    58. 

  58. 		?>
    59. 

  59. 	
    60. 

  60. 	<script src="../term/popup_note.js"></script>
    61. 

  61. 	<link type="text/css" rel="stylesheet" href="../term/popup_note.css"/>
    62. 

  62. 

  63. 	<script src="../term/term_edit_dlg.js"></script>
    64. 

  64. 	<link type="text/css" rel="stylesheet" href="../term/term_edit_dlg.css"/>	
    65. 

  65. 	<script src="../uwbw/wbw_channal_list.js"></script>
    66. 

  66. 	<script src="../usent/historay.js"></script>
    67. 

  67. 	<script >
    68. 

  68. 	<?php require_once '../public/load_lang_js.php';?>
    69. 

  69. 	</script>
    70. 

  70. 

  71. 	<style>
    72. 

  72. 	.list_with_head{
    73. 

  73. 		display:flex;
    74. 

  74. 		margin: 3px 0;
    75. 

  75. 	}
    76. 

  76. 	.head_img{
    77. 

  77. 		display: inline-block;
    78. 

  78. 		width: 20px;
    79. 

  79. 		font-size: 14px;
    80. 

  80. 		padding: 2px;
    81. 

  81. 		background-color: gray;
    82. 

  82. 		color: white;
    83. 

  83. 		border-radius: 99px;
    84. 

  84. 		text-align: center;
    85. 

  85. 		margin: auto 2px;
    86. 

  86. 	}
    87. 

  87. 	.card{
    88. 

  88. 		box-shadow: 0 0 10px rgba(0,0,0,0.15);
    89. 

  89. 		font-size: 1em;
    90. 

  90. 		line-height: 1.3;
    91. 

  91. 	}
    92. 

  92. 	.card>.title>a , .card>.title>a:link{
    93. 

  93. 		color: var(--main-color);
    94. 

  94. 

  95. 	}
    96. 

  96. 	.card a:hover{
    97. 

  97. 		color: var(--tool-link-hover-color);
    98. 

  98. 	}
    99. 

  99. 

  100. 	.index_inner {
    101. 

  101.     width: 960px;
    102. 

  102.     margin-left: auto;
    103. 

  103.     margin-right: auto;
    104. 

  104. }
    105. 

  105. .card li{
    106. 

  106. 	white-space: normal;
    107. 

  107. }
    108. 

  108. .card code{
    109. 

  109. 	white-space: normal;
    110. 

  110. }
    111. 

  111. 

  112. 	</style>
    113. 

  113. </head>
    114.