base.html 3.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485
  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. {% if meta.page_description %}<meta name="description" content="{{ meta.page_description[0] }}">{% endif %}
  8. {% if meta.page_keywords %}<meta name="keywords" content="{{ meta.page_keywords[0] }}">{% endif %}
  9. {% if site_author %}<meta name="author" content="{{ site_author }}">{% endif %}
  10. {% if canonical_url %}<link rel="canonical" href="{{ canonical_url }}">{% endif %}
  11. <link href="/css/bootstrap-custom.min.css" rel="stylesheet">
  12. <link href="/css/prettify-1.0.css" rel="stylesheet">
  13. <link href="/css/base.css" rel="stylesheet">
  14. <link href="/tipuesearch/tipuesearch.css" rel="stylesheet">
  15. <link rel="shortcut icon" href="{{ site_favicon }}">
  16. <link href='http://fonts.googleapis.com/css?family=Cabin:400,700,400italic' rel='stylesheet' type='text/css'>
  17. <title>{% if page_title != '**HIDDEN** - '+site_name %}{{ page_title }}{% else %}{{ site_name }}{% endif %}</title>
  18. <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
  19. <!--[if lt IE 9]>
  20. <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
  21. <script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script>
  22. <![endif]-->
  23. {% if config.google_analytics %}
  24. <script type="text/javascript">
  25. var _gaq = _gaq || [];
  26. _gaq.push(['_setAccount', '{{ config.google_analytics[0] }}']);
  27. _gaq.push(['_trackPageview']);
  28. _gaq.push(['_trackPageLoadTime']);
  29. (function() {
  30. var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
  31. ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
  32. var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  33. })();
  34. </script>
  35. {% endif %}
  36. </head>
  37. <body>
  38. <div id="main" class="container-fluid">
  39. <div class="row">
  40. <div class="col-md-12">{% include "nav.html" %}</div>
  41. </div>
  42. <div class="row">
  43. <div class="container container-better">
  44. <div class="row">
  45. <div class="col-sm-4">
  46. {% include "toc.html" %}
  47. </div>
  48. <div class="col-sm-8" role="main">
  49. {% include "breadcrumbs.html" %}
  50. <main id="content" role="main">
  51. {% include "version.html" %}
  52. {{ content }}
  53. </main>
  54. </div>
  55. </div>
  56. </div>
  57. </div>
  58. <div class="row">
  59. <div class="col-md-12">{% include "footer.html" %}</div>
  60. </div>
  61. </div>
  62. {% include "prev_next.html" %}
  63. <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
  64. <script src="/js/jquery-scrolltofixed-min.js"></script>
  65. <script src="/js/bootstrap-3.0.3.min.js"></script>
  66. <script src="/js/prettify-1.0.min.js"></script>
  67. <script src="/js/base.js"></script>
  68. <script src="/tipuesearch/tipuesearch_set.js"></script>
  69. <script src="/tipuesearch/tipuesearch.min.js"></script>
  70. <script type="text/javascript">
  71. piAId = '45082';
  72. piCId = '1482';
  73. (function() {
  74. function async_load(){
  75. var s = document.createElement('script'); s.type = 'text/javascript';
  76. s.src = ('https:' == document.location.protocol ? 'https://pi' : 'http://cdn') + '.pardot.com/pd.js';
  77. var c = document.getElementsByTagName('script')[0]; c.parentNode.insertBefore(s, c);
  78. }
  79. if(window.attachEvent) { window.attachEvent('onload', async_load); }
  80. else { window.addEventListener('load', async_load, false); }
  81. })();
  82. </script>
  83. </body>
  84. </html>