github.com/dougm/docker@v1.5.0/docs/theme/mkdocs/base.html (about) 1 <!DOCTYPE html> 2 <html lang="en"> 3 <head> 4 <meta charset="utf-8"> 5 <meta http-equiv="X-UA-Compatible" content="IE=edge"> 6 <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no"> 7 {% set docker_version = "$VERSION" %}{% set major_minor = "$MAJOR_MINOR" %}{% set docker_commit = "$GITCOMMIT" %}{% set docker_branch = "$GIT_BRANCH" %}{% set aws_bucket = "$AWS_S3_BUCKET" %}{% set build_date = "$BUILD_DATE" %} 8 <meta name="docker_version" content="{{ docker_version }}"> 9 <meta name="docker_git_branch" content="{{ docker_branch }}"> 10 <meta name="docker_git_commit" content="{{ docker_commit }}"> 11 <meta name="docker_build_date" content="{{ build_date }}"> 12 13 {% if meta.page_description %}<meta name="description" content="{{ meta.page_description[0] }}">{% endif %} 14 {% if meta.page_keywords %}<meta name="keywords" content="{{ meta.page_keywords[0] }}">{% endif %} 15 {% if site_author %}<meta name="author" content="{{ site_author }}">{% endif %} 16 {% if canonical_url %}<link rel="canonical" href="{{ canonical_url }}">{% endif %} 17 <link href="/css/bootstrap-custom.css" rel="stylesheet"> 18 <link href="/css/main.css" rel="stylesheet"> 19 <link href="/css/prettify-1.0.css" rel="stylesheet"> 20 <link rel="stylesheet" type="text/css" href="/css/dockerfile_tutorial.css"> 21 <link href="/tipuesearch/tipuesearch.css" rel="stylesheet"> 22 <link href="/css/docs.css" rel="stylesheet"> 23 <link rel="shortcut icon" href="{{ site_favicon }}"> 24 <title>{% if page_title != '**HIDDEN** - '+site_name %}{{ page_title }}{% else %}{{ site_name }}{% endif %}</title> 25 <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries --> 26 <!--[if lt IE 9]> 27 <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script> 28 <script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script> 29 <![endif]--> 30 {% if config.google_analytics %} 31 <script type="text/javascript"> 32 (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ 33 (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), 34 m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) 35 })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); 36 ga('create', '{{ config.google_analytics[0] }}', 'docker.com'); 37 ga('require', 'linkid', 'linkid.js'); 38 ga('send', 'pageview', { 39 'page': location.pathname + location.search + location.hash, 40 }); 41 </script> 42 {% endif %} 43 </head> 44 <body> 45 46 {% include "header.html" %} 47 48 <div id="wrap"> 49 {% include "nav.html" %} 50 <div id="content" class="container"> 51 <div class="row"> 52 {% if not meta.no_toc %} 53 <div class="span3" id="leftnav"> 54 <div id="toc_table"> 55 <ul class="nav nav-tabs nav-stacked"> 56 {% include "toc.html" %} 57 </ul> 58 </div> 59 </div> 60 <div class="span9 content-body"> 61 {% else %} 62 <div class="span12 content-body"> 63 {% endif %} 64 {% include "beta_warning.html" %} 65 {% if not meta.no_version_dropdown %} 66 <div id="versionnav" class="span3 pull-right"> 67 <ul class="nav version pull-right"> 68 <li class="dropdown"> 69 <a id="document-version-number" class="dropdown-toggle" data-toggle="dropdown" href="#"> 70 Version {{ major_minor }} 71 </a> 72 <ul id="documentation-version-list" class="dropdown-menu pull-right"> 73 {% if not meta.no_edit %} 74 <li role="presentation" class="divider"></li> 75 <li> <a class="home-link3 tertiary-nav" href="https://github.com/docker/docker/blob/master/docs/sources/{{ current_page.input_path }}" >Edit on GitHub</a></li> 76 {% endif %} 77 </ul> 78 </li> 79 </ul> 80 </div> 81 {% endif %} 82 {{ content }} 83 </div> 84 </div> 85 </div> 86 87 <div id="push-footer"></div> 88 89 </div> 90 91 {# need to find an unobtrusive way to add this back 92 {% include "prev_next.html" %} 93 #} 94 95 {% include "footer.html" %} 96 97 <script src="/js/jquery-1.10.2.min.js"></script> 98 <script src="/js/jquery.cookie.js" ></script> 99 <script src="/js/jquery-scrolltofixed-min.js"></script> 100 <script src="/js/bootstrap-3.0.3.min.js"></script> 101 <script src="/js/prettify-1.0.min.js"></script> 102 <script src="/js/dockerfile_tutorial.js"></script> 103 <script src="/js/dockerfile_tutorial_level.js"></script> 104 <script src="/js/base.js"></script> 105 <script src="/tipuesearch/tipuesearch_set.js"></script> 106 <script src="/tipuesearch/tipuesearch.min.js"></script> 107 <script type="text/javascript"> 108 piAId = '45082'; 109 piCId = '1482'; 110 111 (function() { 112 function async_load(){ 113 var s = document.createElement('script'); s.type = 'text/javascript'; 114 s.src = ('https:' == document.location.protocol ? 'https://pi' : 'http://cdn') + '.pardot.com/pd.js'; 115 var c = document.getElementsByTagName('script')[0]; c.parentNode.insertBefore(s, c); 116 } 117 if(window.attachEvent) { window.attachEvent('onload', async_load); } 118 else { window.addEventListener('load', async_load, false); } 119 })(); 120 </script> 121 <script type="text/javascript"> 122 $(document).ready(function() { 123 $('#content').css("min-height", $(window).height() - 553 ); 124 // if the URL contains a version string, update the version picker to reflect that 125 version = document.location.pathname.match(/^\/(v\d\.\d)\/.*/) 126 if (version && version[1]) { 127 $('#document-version-number')[0].text = 'Version '+version[1]; 128 } else { 129 $('#document-version-number')[0].text = $('#document-version-number')[0].text + " (Latest)" 130 } 131 // load the complete versions list 132 $.get("/versions.html_fragment", function( data ) { 133 $('#documentation-version-list').prepend(data); 134 //remove any "/v1.1/" bits from front, so we can add the path to the version selection dropdown. 135 path = document.location.pathname.replace(/^\/v\d\.\d/, ""); 136 $('#documentation-version-list a.version').each(function(i, e) { 137 e.href = e.href+path; 138 $(e).removeClass() 139 }); 140 }); 141 {% if meta.auto_scroll_to_path %} 142 // scroll to the right location in the generated index page 143 m=location.pathname.match(/^\/(.*?)\//) 144 if (m && m[1]) { 145 anchor = m[1].toLowerCase().replace(/ /, "-").replace(/\//, "-") 146 anchor_point = $('#'+anchor) 147 if (anchor_point && anchor_point[0]) { 148 $(window).scrollTop(anchor_point.offset().top); 149 } 150 } 151 {% endif %} 152 }) 153 var userName = getCookie('docker_sso_username'); 154 if (userName) { 155 $('.topmostnav_loggedout').hide(); 156 $('.topmostnav_loggedin').show(); 157 $('#logged-in-header-username').text(userName); 158 } else { 159 $('.topmostnav_loggedout').show(); 160 $('.topmostnav_loggedin').hide(); 161 } 162 </script> 163 </body> 164 </html>