mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
22babb1718
Project is now under https://github.com/jerryscript-project and https://jerryscript.net . Update hardcoded URLs to use HTTPS, both for JerryScript and IoT.js. Make non-hardcoded URLs use Jekyll's `relative_url` filter to avoid mixed content errors on GH Pages. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
23 lines
1.0 KiB
HTML
23 lines
1.0 KiB
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="{{ '/css/bootstrap.min.css' | relative_url }}">
|
|
<link rel="stylesheet" href="{{ '/css/table.css' | relative_url }}">
|
|
<link rel="stylesheet" href="{{ '/css/bytecode.css' | relative_url }}">
|
|
<link rel="stylesheet" href="{{ '/css/block.css' | relative_url }}">
|
|
<link rel="stylesheet" href="{{ '/css/main.css' | relative_url }}">
|
|
<link rel="stylesheet" href="{{ '/css/img.css' | relative_url }}">
|
|
|
|
<script>
|
|
window.addEventListener("hashchange", function() { scrollBy(0, -50) });
|
|
</script>
|
|
</head>
|