mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 08:32:50 -06:00
Update runtime-api.html to match the new visual look of the GF website
This commit is contained in:
@@ -1,29 +1,26 @@
|
|||||||
<html>
|
<!DOCTYPE html>
|
||||||
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
|
||||||
<head>
|
<head>
|
||||||
|
<title>C Runtime API</title>
|
||||||
|
<meta charset="utf-8" />
|
||||||
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
||||||
|
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" integrity="sha384-MCw98/SFnGE8fJT3GXwEOngsV7Zt27NXFoaoApmYm81iuXoPkFOJwJ8ERdknLPMO" crossorigin="anonymous">
|
||||||
<style>
|
<style>
|
||||||
body { background: #eee; padding-top: 200px; }
|
pre {
|
||||||
|
background-color:#eee;
|
||||||
pre.python {background-color:#ffc; display: none}
|
margin-top: 1em;
|
||||||
pre.haskell {background-color:#ffc; display: block}
|
padding: 0.5em 1em;
|
||||||
pre.java {background-color:#ffc; display: none}
|
}
|
||||||
pre.csharp {background-color:#ffc; display: none}
|
pre.python {display: none}
|
||||||
|
pre.haskell {display: block}
|
||||||
|
pre.java {display: none}
|
||||||
|
pre.csharp {display: none}
|
||||||
span.python {display: none}
|
span.python {display: none}
|
||||||
span.haskell {display: inline}
|
span.haskell {display: inline}
|
||||||
span.java {display: none}
|
span.java {display: none}
|
||||||
span.csharp {display: none}
|
span.csharp {display: none}
|
||||||
|
|
||||||
.header {
|
|
||||||
position: fixed;
|
|
||||||
top: 0;
|
|
||||||
left: 0;
|
|
||||||
background: #ddd;
|
|
||||||
width: 100%;
|
|
||||||
padding: 5pt;
|
|
||||||
border-bottom: solid #bbb 2pt;
|
|
||||||
}
|
|
||||||
</style>
|
</style>
|
||||||
|
|
||||||
|
|
||||||
<script lang="javascript">
|
<script lang="javascript">
|
||||||
function change_language(href) {
|
function change_language(href) {
|
||||||
var name = href.split("#")[1];
|
var name = href.split("#")[1];
|
||||||
@@ -50,13 +47,27 @@
|
|||||||
</script>
|
</script>
|
||||||
</head>
|
</head>
|
||||||
<body onload="change_language(window.location.href); window.addEventListener('hashchange', function(e){change_language(window.location.href);});">
|
<body onload="change_language(window.location.href); window.addEventListener('hashchange', function(e){change_language(window.location.href);});">
|
||||||
<span class="header">
|
<div class="container-fluid" style="max-width: 1200px">
|
||||||
<h1>Using the <span class="python">Python</span> <span class="haskell">Haskell</span> <span class="java">Java</span> <span class="csharp">C#</span> binding to the C runtime</h1>
|
<div class="header sticky-top border-bottom py-3 bg-white">
|
||||||
|
<a href=".." title="Home">
|
||||||
Choose a language: <a href="#haskell">Haskell</a> <a href="#python">Python</a> <a href="#java">Java</a> <a href="#csharp">C#</a>
|
<img src="../doc/Logos/gf1.svg" height="120px" class="float-md-right ml-3 mb-3 bg-white" alt="GF Logo">
|
||||||
</span>
|
</a>
|
||||||
|
<h1>
|
||||||
<h4>Krasimir Angelov, July 2015 - August 2017</h4>
|
Using the
|
||||||
|
<span class="python">Python</span>
|
||||||
|
<span class="haskell">Haskell</span>
|
||||||
|
<span class="java">Java</span>
|
||||||
|
<span class="csharp">C#</span>
|
||||||
|
binding to the C runtime
|
||||||
|
</h1>
|
||||||
|
<h4 class="text-muted">Krasimir Angelov, July 2015 - August 2017</h4>
|
||||||
|
Choose a language:
|
||||||
|
<a href="#haskell" class="mx-1">Haskell</a>
|
||||||
|
<a href="#python" class="mx-1">Python</a>
|
||||||
|
<a href="#java" class="mx-1">Java</a>
|
||||||
|
<a href="#csharp" class="mx-1">C#</a>
|
||||||
|
</div>
|
||||||
|
<main class="py-4">
|
||||||
|
|
||||||
<h2>Loading the Grammar</h2>
|
<h2>Loading the Grammar</h2>
|
||||||
|
|
||||||
@@ -1289,6 +1300,7 @@ graph {
|
|||||||
}
|
}
|
||||||
</pre>
|
</pre>
|
||||||
|
|
||||||
|
</main>
|
||||||
|
</div>
|
||||||
</body>
|
</body>
|
||||||
</html>
|
</html>
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user