mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
22 lines
960 B
HTML
22 lines
960 B
HTML
<head>
|
|
<meta charset="utf-8">
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
|
|
<meta name="description" content="{% if page.excerpt %}{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}{% else %}{{ site.description }}{% endif %}">
|
|
<meta name="author" content="JerryScript">
|
|
|
|
<title>JavaScript engine for Internet of Things{% if page.title %}: {{ page.title }} {% endif %}</title>
|
|
|
|
<!-- Bootstrap core CSS -->
|
|
<link rel="stylesheet" href="{{ site.baseurl }}/css/bootstrap.min.css" >
|
|
<link rel="stylesheet" href="{{ site.baseurl }}/css/table.css">
|
|
<link rel="stylesheet" href="{{ site.baseurl }}/css/bytecode.css">
|
|
<link rel="stylesheet" href="{{ site.baseurl }}/css/block.css">
|
|
<link rel="stylesheet" href="{{ site.baseurl }}/css/main.css">
|
|
|
|
<script>
|
|
window.addEventListener("hashchange", function() { scrollBy(0, -50) });
|
|
</script>
|
|
</head>
|