2015-04-23 10:24:50 +02:00
< ? php $this -> layout ( 'theme::layout/00_layout' ) ?>
2015-07-19 16:36:34 +02:00
< ? php if ( $params [ 'html' ][ 'repo' ]) { ?>
2016-05-05 23:43:37 +02:00
< a href = " https://github.com/<?= $params['html'] ['repo']; ?> " target = " _blank " id = " github-ribbon " class = " github-ribbon hidden-print " >< img src = " https://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png " alt = " Fork me on GitHub " ></ a >
2015-04-23 10:24:50 +02:00
< ? php } ?>
< div class = " container-fluid fluid-height wrapper " >
2015-07-21 22:40:13 +02:00
< div class = " navbar navbar-static-top hidden-print " >
2015-04-23 10:24:50 +02:00
< div class = " container-fluid " >
2015-04-27 23:18:00 +02:00
< ? php $this -> insert ( 'theme::partials/navbar_content' , [ 'params' => $params ]); ?>
2015-04-23 10:24:50 +02:00
</ div >
</ div >
< div class = " row columns content " >
< div class = " left-column article-tree col-sm-3 hidden-print " >
<!-- For Mobile -->
< div class = " responsive-collapse " >
< button type = " button " class = " btn btn-sidebar " id = " menu-spinner-button " >
< span class = " icon-bar " ></ span >
< span class = " icon-bar " ></ span >
< span class = " icon-bar " ></ span >
</ button >
</ div >
< div id = " sub-nav-collapse " class = " sub-nav-collapse " >
<!-- Navigation -->
< ? php
2015-07-20 15:59:52 +02:00
if ( $page [ 'language' ] !== '' ) {
echo $this -> get_navigation ( $tree -> value [ $page [ 'language' ]], $page [ 'language' ], isset ( $params [ 'request' ]) ? $params [ 'request' ] : '' , $base_page , $params [ 'mode' ]);
} else {
echo $this -> get_navigation ( $tree , '' , isset ( $params [ 'request' ]) ? $params [ 'request' ] : '' , $base_page , $params [ 'mode' ]);
}
2015-04-23 10:24:50 +02:00
?>
2015-04-23 15:47:05 +02:00
2015-08-16 22:16:55 +02:00
< div class = " sidebar-links " >
< ? php if ( ! empty ( $params [ 'html' ][ 'links' ]) || ! empty ( $params [ 'html' ][ 'twitter' ]) || $params [ 'html' ][ 'toggle_code' ]) { ?>
2015-04-23 10:24:50 +02:00
<!-- Links -->
2015-07-20 15:59:52 +02:00
< ? php
foreach ( $params [ 'html' ][ 'links' ] as $name => $url ) {
echo '<a href="' . $url . '" target="_blank">' . $name . '</a><br>' ;
2016-04-08 00:13:06 +02:00
} ?>
< div id = " toggleCodeBlock " >
< ? php if ( $params [ 'html' ][ 'toggle_code' ] && $params [ 'html' ][ 'float' ]) { ?>
< br />
< span class = " code-buttons-text " > Code blocks </ span >
< div class = " btn-group " role = " group " >
< button id = " code-hide " class = " btn btn-sm btn-default " > No </ button >
< button id = " code-below " class = " btn btn-sm btn-default " > Below </ button >
< button id = " code-float " class = " btn btn-sm btn-default " > Inline </ button >
</ div >
< ? php } else if ( $params [ 'html' ][ 'toggle_code' ]) { ?>
< a id = " toggleCodeBlockBtn " href = " # " onclick = " toggleCodeBlocks(); " > Show Code Blocks Inline </ a >< br >
< ? php } ?>
</ div >
2015-04-23 10:24:50 +02:00
<!-- Twitter -->
2015-07-19 16:36:34 +02:00
< ? php foreach ( $params [ 'html' ][ 'twitter' ] as $handle ) { ?>
2015-04-23 10:24:50 +02:00
< div class = " twitter " >
< hr />
2015-07-20 15:59:52 +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 >
2015-04-23 10:24:50 +02:00
</ div >
< ? php } ?>
2015-08-16 22:16:55 +02:00
< hr />
< ? php } ?>
</ div >
2015-04-23 10:24:50 +02:00
</ div >
</ div >
2015-07-20 15:59:52 +02:00
< div class = " right-column <?= $params['html'] ['float'] ? 'float-view' : ''; ?> content-area col-sm-9 " >
2016-02-16 21:54:57 +01:00
2015-04-23 10:24:50 +02:00
< div class = " content-page " >
2016-03-13 21:51:58 +01:00
< ? php if ( $params [ 'html' ][ 'search' ]) { ?>
2016-02-16 21:54:57 +01:00
< div id = " tipue_search_content " style = " display:none " ></ div >
< ? php } ?>
2016-03-13 21:51:58 +01:00
2016-04-08 00:13:06 +02:00
< div class = " doc_content " >
2016-03-13 21:51:58 +01:00
< ? = $this -> section ( 'content' ); ?>
</ div >
2015-04-23 10:24:50 +02:00
</ div >
</ div >
</ div >
</ div >