doc/guide/conf/mlton-html5.conf

   1 [+docinfo]
   2 ifdef::basebackend-html[]
   3 <link rel="stylesheet" href="./mlton.css" type="text/css">
   4 ifeval::["{mlton-guide-host}"=="www.mlton.org"]
   5 # Google Custom Search only on www.mlton.org.
   6 <script type="text/javascript" src="./mlton-gcse.js"></script>
   7 ifeval::["{doctitle}"=="MLton"]
   8 # Google+ linked website only on www.mlton.org/index.html.
   9 <link href="https://plus.google.com/116633416570720758758" rel="publisher">
  10 endif::[]
  11 endif::[]
  12 endif::basebackend-html[]
  13
  14 [+banner-body]
  15 ifdef::basebackend-html[]
  16 <div id="banner-home">
  17 ifeval::["{mlton-guide-host}"=="www.mlton.org"]
  18 <a href="./Home">MLton</a>
  19 endif::[]
  20 ifeval::["{mlton-guide-host}"=="localhost"]
  21 <a href="./Home">MLton {mlton-version}</a>
  22 endif::[]
  23 </div>
  24 ifeval::["{mlton-guide-host}"=="www.mlton.org"]
  25 # Google Custom Search only on www.mlton.org.
  26 <div id="banner-search">
  27 <div id="cse-search-form" style="width: 100%;">Loading</div>
  28 <script src="http://www.google.com/jsapi" type="text/javascript"></script>
  29 <script type="text/javascript">
  30   google.load('search', '1', {language : 'en', style : google.loader.themes.V2_DEFAULT});
  31   google.setOnLoadCallback(function() {
  32     var customSearchOptions = {};  var customSearchControl = new google.search.CustomSearchControl(
  33       '015900004091250679661:g82p7pue1um', customSearchOptions);
  34     customSearchControl.setResultSetSize(google.search.Search.FILTERED_CSE_RESULTSET);
  35     var options = new google.search.DrawOptions();
  36     options.enableSearchboxOnly("http://www.google.com/cse?cx=015900004091250679661:g82p7pue1um");
  37     customSearchControl.draw('cse-search-form', options);
  38   }, true);
  39 </script>
  40 </div>
  41 endif::[]
  42 endif::basebackend-html[]
  43
  44 [+footer-body]
  45 ifdef::basebackend-html[]
  46 <div id="footer-text">
  47 ifeval::["{mlton-guide-host}"=="www.mlton.org"]
  48 # "Last updated ..." and Log and Edit links only on www.mlton.org.
  49 # "Last updated ..." only for tracked files.
  50 {git-commit-hash#}<div>Last updated {git-author-date} by {git-author-name}.</div>
  51 # Log and Edit links only for tracked files.
  52 {git-commit-hash#}<div><a href="https://github.com/MLton/mlton/commits/master/doc/guide/src/{mlton-guide-page}.adoc">Log</a></div>
  53 {git-commit-hash#}<div><a href="https://github.com/MLton/mlton/edit/master/doc/guide/src/{mlton-guide-page}.adoc">Edit</a></div>
  54 endif::[]
  55 </div>
  56 <div id="footer-badges">
  57 ifeval::["{mlton-guide-host}"=="www.mlton.org"]
  58 # SourceForge.net statistics only valid on www.mlton.org.
  59 <div>
  60 <a href="http://sourceforge.net/projects/mlton"><img src="http://sflogo.sourceforge.net/sflogo.php?group_id=50419&amp;type=9" width="80" height="15" alt="Get MLton Standard ML Compiler at SourceForge.net. Fast, secure and Free Open Source software downloads" /></a>
  61 </div>
  62 endif::[]
  63 ifeval::["{mlton-guide-host}"=="www.mlton.org"]
  64 # Referer validation only valid on www.mlton.org.
  65 <div>
  66 Valid <a href="http://validator.w3.org/check?uri=referer">HTML5</a>
  67 and <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a>.
  68 </div>
  69 endif::[]
  70 </div>
  71 endif::basebackend-html[]