Inicio Explorar Axuda
Rexistro Iniciar sesión
iapt-platform
/
mint
réplica de https://github.com/iapt-platform/mint.git
2
0
Fork 0
Ficheiros Incidencias 0 Wiki
Árbore: 7adcd0953e
Ramas Etiquetas
mint
/
app
/
pcdl
/
html_head.php

html_head.php 5.9 KB
Histórico Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176 
  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. } else {
    9. 

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

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

  11. 	} else {
    12. 

  12. 		$currLanguage = "en";
    13. 

  13. 		$_COOKIE["language"] = $currLanguage;
    14. 

  14. 	}
    15. 

  15. }
    16. 

  16. 

  17. ?>
    18. 

  18. 

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

  20. <html>
    21. 

  21. 

  22. <head>
    23. 

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

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

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

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

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

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

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

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

  31. 

  32. 	<!-- generics -->
    33. 

  33. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon16.png" sizes="16x16">
    34. 

  34. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon32.png" sizes="32x32">
    35. 

  35. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon57.png" sizes="57x57">
    36. 

  36. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon76.png" sizes="76x76">
    37. 

  37. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon96.png" sizes="96x96">
    38. 

  38. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon128.png" sizes="128x128">
    39. 

  39. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon192.png" sizes="192x192">
    40. 

  40. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon228.png" sizes="228x228">
    41. 

  41. 	<link rel="icon" type="image/png" href="../public/images/favicon/android-chrome-512x512.png" sizes="512x512">
    42. 

  42. 

  43. 	<!-- Android -->
    44. 

  44. 	<link rel="shortcut icon" type="image/png" sizes="196x196" href=“../public/images/favicon/favicon-196.png">
    45. 

  45. 

  46. 	<!-- iOS -->
    47. 

  47. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon120.png" sizes="120x120">
    48. 

  48. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon152.png" sizes="152x152">
    49. 

  49. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon167.png" sizes="167x167">
    50. 

  50. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon180.png" sizes="180x180">
    51. 

  51. 

  52. 	<!-- Windows 8 IE 10-->
    53. 

  53. 	<meta name="msapplication-TileColor" content="#FFFFFF">
    54. 

  54. 	<meta name="msapplication-TileImage" content="../public/images/favicon/favicon144.png">
    55. 

  55. 

  56. 	<!-- Windows 8.1 + IE11 and above -->
    57. 

  57. 	<meta name="msapplication-config" content="../public/images/favicon/browserconfig.xml" />
    58. 

  58. 

  59. 	<link rel="shortcut icon" href="../public/images/favicon/favicon.ico">
    60. 

  60. 	<link rel="manifest" href="../public/images/favicon/site.webmanifest">
    61. 

  61. 	<link rel="mask-icon" href="../public/images/favicon/safari-pinned-tab.svg" color="#333333">
    62. 

  62. 

  63. 	<title>wikipāḷi</title>
    64. 

  64. 

  65. 	<script src="../public/js/jquery.js"></script>
    66. 

  66. 	<script src="../public/js/comm.js"></script>
    67. 

  67. 	<script src="../studio/js/fixedsticky.js"></script>
    68. 

  68. 	<script src="../guide/guide.js"></script>
    69. 

  69. 	<link type="text/css" rel="stylesheet" href="../guide/guide.css" />
    70. 

  70. 

  71. 	<script src="../ucenter/setting.js"></script>
    72. 

  72. 

  73. 	<script src="../public/js/marked.js"></script>
    74. 

  74. 	<script src="../public/js/mermaid.min.js"></script>
    75. 

  75. 

  76. 	<script src="../public/js/notify.js"></script>
    77. 

  77. 	<link type="text/css" rel="stylesheet" href="../public/css/notify.css" />
    78. 

  78. 

  79. 	<script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
    80. 

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

  81. 

  82. 	<script src="../term/term.js"></script>
    83. 

  83. 	<script src="../term/note.js"></script>
    84. 

  84. 	<script src="../term/term_popup.js"></script>
    85. 

  85. 	<link type="text/css" rel="stylesheet" href="../term/term.css" />
    86. 

  86. 	<?php
    87. 

  87. 	if (isset($_GET["display"]) && $_GET["display"] == "para") {
    88. 

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

  89. 	}
    90. 

  90. 	?>
    91. 

  91. 	<script src="../channal/channal.js"></script>
    92. 

  92. 	<script src="../term/popup_note.js"></script>
    93. 

  93. 	<link type="text/css" rel="stylesheet" href="../term/popup_note.css" />
    94. 

  94. 

  95. 	<script src="../term/term_edit_dlg.js"></script>
    96. 

  96. 	<link type="text/css" rel="stylesheet" href="../term/term_edit_dlg.css" />
    97. 

  97. 	<script src="../uwbw/wbw_channal_list.js"></script>
    98. 

  98. 	<script src="../usent/historay.js"></script>
    99. 

  99. 	<script src="../term/pali_sim_sent.js"></script>
    100. 

  100. 	<link type="text/css" rel="stylesheet" href="../term/pali_sim_dlg.css" />
    101. 

  101. 	<script src="../term/related_para.js"></script>
    102. 

  102. 

  103. 	<script src="../inline_dict/inline_dict.js"></script>
    104. 

  104. 

  105. 	<script src="../widget/click_dropdown.js"></script>
    106. 

  106. 	<link type="text/css" rel="stylesheet" href="../widget/click_dropdown.css" />
    107. 

  107. 

  108. 	<script src="../public/charcode/coverter_my.js"></script>
    109. 

  109. 

  110. 	<script>
    111. 

  111. 		<?php require_once '../public/load_lang_js.php'; ?>
    112. 

  112. 	</script>
    113. 

  113. 

  114. 	<style>
    115. 

  115. 		.list_with_head {
    116. 

  116. 			display: flex;
    117. 

  117. 			margin: 3px 0;
    118. 

  118. 		}
    119. 

  119. 

  120. 		.head_img {
    121. 

  121. 			display: inline-flex;
    122. 

  122. 			min-width: 3em;
    123. 

  123. 			height: 3em;
    124. 

  124. 			padding: 0 0px;
    125. 

  125. 			font-size: 60%;
    126. 

  126. 			background-color: gray;
    127. 

  127. 			color: white;
    128. 

  128. 			border-radius: 1.5em;
    129. 

  129. 			text-align: center;
    130. 

  130. 			justify-content: center;
    131. 

  131. 			margin: auto 2px;
    132. 

  132. 			line-height: 3em;
    133. 

  133. 		}
    134. 

  134. 

  135. 		.card {
    136. 

  136. 			border-radius: 20px;
    137. 

  137. 			box-shadow: 0 5px 7px rgba(0, 0, 0, 0.05);
    138. 

  138. 			margin: 10px 0;
    139. 

  139. 			background-color: white;
    140. 

  140. 			padding: 0.7rem;
    141. 

  141. 			display: flex;
    142. 

  142. 			position: relative;
    143. 

  143. 		}
    144. 

  144. 

  145. 		.card>.title>a,
    146. 

  146. 		.card>.title>a:link {
    147. 

  147. 			color: var(--main-color);
    148. 

  148. 

  149. 		}
    150. 

  150. 

  151. 		.card a:hover {
    152. 

  152. 			color: var(--tool-link-hover-color);
    153. 

  153. 		}
    154. 

  154. 

  155. 		.card_state {
    156. 

  156. 			position: absolute;
    157. 

  157. 			background-color: darkred;
    158. 

  158. 			color: white;
    159. 

  159. 			padding: 0 6px;
    160. 

  160. 			right: -5px;
    161. 

  161. 		}
    162. 

  162. 

  163. 		.index_inner {
    164. 

  164. 			margin-left: auto;
    165. 

  165. 			margin-right: auto;
    166. 

  166. 		}
    167. 

  167. 

  168. 		.card li {
    169. 

  169. 			white-space: normal;
    170. 

  170. 		}
    171. 

  171. 

  172. 		.card code {
    173. 

  173. 			white-space: normal;
    174. 

  174. 		}
    175. 

  175. 	</style>
    176. 

  176. </head>
    177.