diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 21:15:40 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 21:15:40 +0200 |
| commit | bee61fe4aa2d17ba012bab16c685ee280331fa3c (patch) | |
| tree | 3c4fdac70a5ddd6973939bb5ed61351d01272f04 | |
| parent | 78dfc8958d9c53b7a4fc17d8afeaedf96dbac71e (diff) | |
keep the language menu in the documentation always on top.
| -rw-r--r-- | doc/runtime-api.html | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/doc/runtime-api.html b/doc/runtime-api.html index db06d3a4f..9844ff89e 100644 --- a/doc/runtime-api.html +++ b/doc/runtime-api.html @@ -1,7 +1,7 @@ <html> <head> <style> - body { background: #eee; } + body { background: #eee; padding-top: 200px; } pre.python {background-color:#ffc; display: none} pre.haskell {background-color:#ffc; display: block} @@ -11,6 +11,16 @@ span.haskell {display: inline} span.java {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> @@ -40,10 +50,13 @@ </script> </head> <body onload="change_language(window.location.href); window.addEventListener('hashchange', function(e){change_language(window.location.href);});"> + <span class="header"> <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> - <h4>Krasimir Angelov, July 2015</h4> Choose a language: <a href="#haskell">Haskell</a> <a href="#python">Python</a> <a href="#java">Java</a> <a href="#csharp">C#</a> + </span> + + <h4>Krasimir Angelov, July 2015</h4> <h2>Loading the Grammar</h2> |