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