header.html 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  1. <!DOCTYPE html>
  2. <html lang="{{ .Site.LanguageCode | default "en-us" }}">
  3. <head>
  4. <meta charset="utf-8">
  5. <meta name="viewport" content="width=device-width, initial-scale=1">
  6. <meta http-equiv="X-UA-Compatible" content="IE=edge">
  7. <meta name="theme" content="hugo-academic">
  8. {{ .Hugo.Generator }}
  9. {{ with .Site.Params.name }}<meta name="author" content="{{ . }}">{{ end }}
  10. {{ with .Site.Params.role }}<meta name="description" content="{{ . }}">{{ end }}
  11. {{ $sri := .Site.Data.sri }}
  12. {{/* Default to enabling highlighting, but allow the user to override it in .Params or .Site.Params.
  13. Use $.Scratch to store "highlight_enabled", so that we can read it again in footer.html. */}}
  14. {{ $.Scratch.Set "highlight_enabled" true }}
  15. {{ if isset .Params "highlight" }}
  16. {{ $.Scratch.Set "highlight_enabled" .Params.highlight }}
  17. {{ else if isset .Site.Params "highlight" }}
  18. {{ $.Scratch.Set "highlight_enabled" .Site.Params.highlight }}
  19. {{ end }}
  20. {{ if $.Scratch.Get "highlight_enabled" }}
  21. {{ $v := $sri.js.highlight.version }}
  22. {{ with .Site.Params.highlight_style }}
  23. <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/{{ $v }}/styles/{{ . }}.min.css">
  24. {{ else }}
  25. <link rel="stylesheet" href="{{ "/css/highlight.min.css" | relURL }}">
  26. {{ end }}
  27. {{ end }}
  28. {{ if not .Site.Params.disable_sri }}
  29. {{ printf "<link rel=\"stylesheet\" href=\"https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/%s/css/bootstrap.min.css\" integrity=\"%s\" crossorigin=\"anonymous\">" $sri.css.bootstrap.version $sri.css.bootstrap.sri | safeHTML }}
  30. {{ printf "<link rel=\"stylesheet\" href=\"https://cdnjs.cloudflare.com/ajax/libs/academicons/%s/css/academicons.min.css\" integrity=\"%s\" crossorigin=\"anonymous\">" $sri.css.academicons.version $sri.css.academicons.sri | safeHTML }}
  31. {{ printf "<link rel=\"stylesheet\" href=\"https://cdnjs.cloudflare.com/ajax/libs/font-awesome/%s/css/font-awesome.min.css\" integrity=\"%s\" crossorigin=\"anonymous\">" $sri.css.fontAwesome.version $sri.css.fontAwesome.sri | safeHTML }}
  32. {{ else }}
  33. <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/{{- $sri.css.bootstrap.version -}}/css/bootstrap.min.css">
  34. <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/academicons/{{- $sri.css.academicons.version -}}/css/academicons.min.css">
  35. <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/font-awesome/{{- $sri.css.fontAwesome.version -}}/css/font-awesome.min.css">
  36. {{ end }}
  37. {{/* We cannot use SRI with Google Fonts because the CSS is dynamically generated according to the user agent */}}
  38. {{- partial "css/parse_theme.css" . -}}
  39. {{- $scr := .Scratch -}}
  40. {{ with ($scr.Get "google_fonts") }}
  41. <link rel="stylesheet" href="{{ printf "//fonts.googleapis.com/css?family=%s" . }}">
  42. {{ end }}
  43. <link rel="stylesheet" href="{{ "styles.css" | relURL }}">
  44. {{ range .Site.Params.custom_css }}
  45. <link rel="stylesheet" href="{{ "/css/" | relURL }}{{ . }}">
  46. {{ end }}
  47. {{ if .Site.GoogleAnalytics }}
  48. <script>
  49. window.ga=window.ga||function(){(ga.q=ga.q||[]).push(arguments)};ga.l=+new Date;
  50. ga('create', '{{ .Site.GoogleAnalytics }}', 'auto');
  51. ga('require', 'eventTracker');
  52. ga('require', 'outboundLinkTracker');
  53. ga('require', 'urlChangeTracker');
  54. ga('send', 'pageview');
  55. </script>
  56. <script async src="//www.google-analytics.com/analytics.js"></script>
  57. {{ if not .Site.Params.disable_sri }}
  58. {{ printf "<script async src=\"https://cdnjs.cloudflare.com/ajax/libs/autotrack/%s/autotrack.js\" integrity=\"%s\" crossorigin=\"anonymous\"></script>" $sri.js.autotrack.version $sri.js.autotrack.sri | safeHTML }}
  59. {{ else }}
  60. <script async src="//cdnjs.cloudflare.com/ajax/libs/autotrack/{{- $sri.js.autotrack.version -}}/autotrack.js"></script>
  61. {{ end }}
  62. {{ end }}
  63. {{ if or .Site.RSSLink .RSSLink }}
  64. <link rel="alternate" href="{{ .RSSLink | default .Site.RSSLink }}" type="application/rss+xml" title="{{ .Site.Title }}">
  65. <link rel="feed" href="{{ .RSSLink | default .Site.RSSLink }}" type="application/rss+xml" title="{{ .Site.Title }}">
  66. {{ end }}
  67. <link rel="icon" type="image/png" href="{{ "/img/icon.png" | relURL }}">
  68. <link rel="apple-touch-icon" type="image/png" href="{{ "/img/apple-touch-icon.png" | relURL }}">
  69. <link rel="canonical" href="{{ .Permalink }}">
  70. <meta property="twitter:card" content="summary_large_image">
  71. {{ range where $.Site.Params.social ".icon" "twitter" }}
  72. <meta property="twitter:site" content="@{{ replaceRE "^//twitter.com/([^/]+)" "$1" .link }}">
  73. <meta property="twitter:creator" content="@{{ replaceRE "^//twitter.com/([^/]+)" "$1" .link }}">
  74. {{ end }}
  75. <meta property="og:site_name" content="{{ .Site.Title }}">
  76. <meta property="og:url" content="{{ .Permalink }}">
  77. <meta property="og:title" content="{{ if not .IsHome }}{{ .Title }} | {{ end }}{{ .Site.Title }}">
  78. <meta property="og:description" content="{{- if .IsPage -}}
  79. {{- if or .Type "publication" .Type "talk" -}}
  80. {{- with .Params.abstract -}}{{- . -}}{{- end -}}
  81. {{- else -}}
  82. {{- .Summary -}}
  83. {{- end -}}
  84. {{- else -}}
  85. {{- with .Site.Params.role -}}{{- . -}}{{- end -}}
  86. {{- end -}}">
  87. {{- with .Params.header.image }}<meta property="og:image" content="{{ printf "/img/%s" . | absURL }}">{{end}}
  88. <meta property="og:locale" content="{{ .Site.LanguageCode | default "en-us" }}">
  89. {{ if .IsPage }}
  90. {{ if not .PublishDate.IsZero }}<meta property="article:published_time" content="{{ .PublishDate.Format "2006-01-02T15:04:05-07:00" | safeHTML }}">
  91. {{ else if not .Date.IsZero }}<meta property="article:published_time" content="{{ .Date.Format "2006-01-02T15:04:05-07:00" | safeHTML }}">{{ end }}
  92. {{ if not .Lastmod.IsZero }}<meta property="article:modified_time" content="{{ .Lastmod.Format "2006-01-02T15:04:05-07:00" | safeHTML }}">{{ end }}
  93. {{ else }}
  94. {{ if not .Date.IsZero }}<meta property="og:updated_time" content="{{ .Date.Format "2006-01-02T15:04:05-07:00" | safeHTML }}">{{ end }}
  95. {{ end }}
  96. {{ partial "head_custom" . }}
  97. <title>{{ if not .IsHome }}{{ .Title }} | {{ end }}{{ .Site.Title }}</title>
  98. </head>
  99. <body id="top" data-spy="scroll" data-target="#navbar-main" data-offset="71">