2015-04-23 10:24:50 +02:00
< ? php $this -> layout ( 'theme::layout/00_layout' ) ?>
2016-07-27 21:32:51 +02:00
< ? php if ( $params [ 'html' ][ 'repo' ]) {
?>
2016-05-23 20:09:15 +02:00
< a href = " https://github.com/<?= $params['html'] ['repo']; ?> " target = " _blank " id = " github-ribbon " class = " Github hidden-print " >< img src = " https://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png " alt = " Fork me on GitHub " ></ a >
2016-07-27 21:32:51 +02:00
< ? php
} ?>
2016-05-23 20:09:15 +02:00
< div class = " Navbar hidden-print " >
< ? php $this -> insert ( 'theme::partials/navbar_content' , [ 'params' => $params ]); ?>
</ div >
< div class = " Columns content " >
< div class = " Columns__left hidden-print Collapsible " >
< div class = " Collapsible__container " >
< button type = " button " class = " Button Collapsible__trigger " >
< span class = " Collapsible__trigger--bar " ></ span >
< span class = " Collapsible__trigger--bar " ></ span >
< span class = " Collapsible__trigger--bar " ></ span >
</ button >
2015-04-23 10:24:50 +02:00
</ div >
2015-04-23 15:47:05 +02:00
2016-05-23 20:09:15 +02:00
< div class = " Collapsible__content " >
<!-- Navigation -->
< ? php
$rendertree = $tree ;
$path = '' ;
2015-08-16 22:16:55 +02:00
2016-05-23 20:09:15 +02:00
if ( $page [ 'language' ] !== '' ) {
$rendertree = $tree -> value [ $page [ 'language' ]];
$path = $page [ 'language' ];
}
2015-04-23 10:24:50 +02:00
2016-05-23 20:09:15 +02:00
echo $this -> get_navigation ( $rendertree , $path , isset ( $params [ 'request' ]) ? $params [ 'request' ] : '' , $base_page , $params [ 'mode' ]);
?>
2016-04-08 00:13:06 +02:00
2016-05-23 20:09:15 +02:00
< div class = " Links " >
2016-07-27 21:32:51 +02:00
< ? php if ( ! empty ( $params [ 'html' ][ 'links' ])) {
?>
2016-05-23 20:09:15 +02:00
< hr />
2016-07-27 21:32:51 +02:00
< ? php foreach ( $params [ 'html' ][ 'links' ] as $name => $url ) {
?>
2016-05-23 20:09:15 +02:00
< a href = " <?= $url ?> " target = " _blank " >< ? = $name ?> </a>
< br />
2016-07-27 21:32:51 +02:00
< ? php
} ?>
< ? php
} ?>
2016-05-23 20:09:15 +02:00
2016-07-27 21:32:51 +02:00
< ? php if ( $params [ 'html' ][ 'toggle_code' ]) {
?>
2016-05-23 20:09:15 +02:00
< div class = " CodeToggler " >
< hr />
2016-07-27 21:32:51 +02:00
< ? php if ( $params [ 'html' ][ 'float' ]) {
?>
2016-05-23 20:09:15 +02:00
< span class = " CodeToggler__text " > Code blocks </ span >
< div class = " ButtonGroup " role = " group " >
< button class = " Button Button--default Button--small CodeToggler__button CodeToggler__button--hide " > No </ button >
< button class = " Button Button--default Button--small CodeToggler__button CodeToggler__button--below " > Below </ button >
< button class = " Button Button--default Button--small CodeToggler__button CodeToggler__button--float " > Inline </ button >
2016-04-08 00:13:06 +02:00
</ div >
2016-07-27 21:32:51 +02:00
< ? php
} else {
?>
2016-05-23 20:09:15 +02:00
< a class = " CodeToggler__button CodeToggler__button--main " href = " # " > Show Code Blocks Inline </ a >< br >
2016-07-27 21:32:51 +02:00
< ? php
} ?>
2016-05-23 20:09:15 +02:00
</ div >
2016-07-27 21:32:51 +02:00
< ? php
} ?>
2015-04-23 10:24:50 +02:00
2016-07-27 21:32:51 +02:00
< ? php if ( ! empty ( $params [ 'html' ][ 'twitter' ])) {
?>
2016-05-23 20:09:15 +02:00
< hr />
< div class = " Twitter " >
2016-07-27 21:32:51 +02:00
< ? php foreach ( $params [ 'html' ][ 'twitter' ] as $handle ) {
?>
2016-05-23 20:09:15 +02:00
< iframe allowtransparency = " true " frameborder = " 0 " scrolling = " no " style = " width:162px; height:20px; " src = " https://platform.twitter.com/widgets/follow_button.html?screen_name=<?= $handle ; ?>&show_count=false " ></ iframe >
< br />
< br />
2016-07-27 21:32:51 +02:00
< ? php
} ?>
2016-05-23 20:09:15 +02:00
</ div >
2016-07-27 21:32:51 +02:00
< ? php
} ?>
2015-04-23 10:24:50 +02:00
</ div >
</ div >
2016-05-23 20:09:15 +02:00
<!-- For Mobile -->
2016-02-16 21:54:57 +01:00
2016-03-13 21:51:58 +01:00
2016-05-23 20:09:15 +02:00
</ div >
< div class = " Columns__right <?= $params['html'] ['float'] ? 'Columns__right--float' : ''; ?> " >
< div class = " Columns__right__content " >
2016-07-27 21:32:51 +02:00
< ? php if ( $params [ 'html' ][ 'search' ]) {
?>
2016-05-23 20:09:15 +02:00
< div id = " tipue_search_content " style = " display:none " ></ div >
2016-07-27 21:32:51 +02:00
< ? php
} ?>
2016-05-23 20:09:15 +02:00
< div class = " doc_content " >
< ? = $this -> section ( 'content' ); ?>
2015-04-23 10:24:50 +02:00
</ div >
</ div >
</ div >
</ div >