2015-07-27 23:39:47 -07:00
|
|
|
- var textFormat = ''
|
2015-08-19 16:12:16 -07:00
|
|
|
- var headerTitle = title + (typeof varType !== 'undefined' ? (': ' + varType) : '');
|
2015-05-01 06:04:23 -07:00
|
|
|
|
|
|
|
if current.path[4] && current.path[3] == 'api'
|
2015-07-27 23:39:47 -07:00
|
|
|
- var textFormat = 'is-standard-case'
|
2015-05-01 06:04:23 -07:00
|
|
|
|
2015-02-26 06:45:32 -08:00
|
|
|
header(class="hero background-sky")
|
2015-08-19 16:12:16 -07:00
|
|
|
h1(class="hero-title text-display-1 #{textFormat}") #{headerTitle}
|
2015-03-01 06:42:31 -08:00
|
|
|
|
|
|
|
if subtitle
|
|
|
|
h2.hero-subtitle.text-subhead #{subtitle}
|
|
|
|
|
|
|
|
else if current.path[0] == "docs"
|
2015-12-08 17:08:06 -08:00
|
|
|
!= partial("_version-dropdown")
|