6 <?php if (!empty($title)) : ?>
8 <?php elseif (isset($entry)) : ?>
13 <meta name="viewport" content="width=1200, initial-scale=0.5">
14 <?php if (isset($baseUrl)) : ?>
15 <base href="<?= $baseUrl ?>">
16 <meta http-equiv="Content-Location" content="<?= $baseUrl . $ref ?>">
17 <link rel="stylesheet" href="index.css">
20 <link href="https://fonts.googleapis.com/css?family=Inconsolata&subset=latin-ext" rel="stylesheet">
21 <script src="//ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script>
22 <link rel="shortcut icon" href="<?= $baseUrl . "favicon.ico" ?>">
26 <?php include __DIR__."/sidebar.phtml" ?>
27 <?php if (isset($exception)) : ?>
28 <?= \mdref\ExceptionHandler::htmlException($exception) ?>
29 <?php elseif (isset($entry)) : ?>
30 <?php include __DIR__."/mdref.phtml" ?>
32 <?php include __DIR__."/index.phtml" ?>
35 <?php if (@$_SERVER["SERVER_NAME"] != "localhost") : ?>
37 <div id="disqus_thread"></div>
39 var disqus_shortname = 'mdref';
40 var disqus_identifier = '<?=$ref?>';
42 var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
43 dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
44 (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
50 <?php include __DIR__."/footer.phtml" ?>
53 <?php if (isset($baseUrl)) : ?>
55 <script src="index.js"></script>