<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title><?= htmlspecialchars($title)?></title>
<meta http-equiv="Content-Type" content="text/html; charset=<?=$charset?>"/>
<style type='text/css'>
.codebox { padding:1ex; border:1px solid gray; background:white; margin-top:1ex; }
th { text-align: left; }
td { text-align: left; vertical-align: top; }
.files td { white-space: nowrap; background-color:#F0F0F0; }
.filesize { text-align: right; }
.rawlink { font-size:70%; }
.dirfile td { font-weight:bold; background-color:#E0E0E0; }
.dotfile td { color:#999999; }
.denyfile td { color:#CC9966; }
.linkfile td { font-style:italic; }
</style>
<? if (@$css): ?>
<link rel="stylesheet" type="text/css" href="<?= "$rawpath/$css" ?>"/>
<? endif; ?>
</head>
<body>
<? if (@$header) include($header); ?>
<? if (@$sidebar): ?>
<div style='display:table'>
<div style='display:table-row'>
<div style='display:table-cell; min-width:10em; max-width:16em;'>
<div>
<? include($sidebar); ?>
</div>
</div>
<div style='display:table-cell; '>
<? endif; ?>
<div id='main'>
<div class='crumbs'>
<?
include("crumbs.php");
?>
</div>
<h1 class='filename'><?= htmlspecialchars($title)?></h1>
<?
if ( $filetype !== '_root_' && $filetype !== '_dir_' ) {
?>
<div class='fileinfo'>
<?= $filetype ?>, <?= filesize($file) ?> bytes (<a href='<?= rvURL($repos, $path, 'raw=1') ?>'>load raw</a>)
</div>
<?
}
?>
<? if ($filetype !== '_binary_'): ?>
<div class='content'>
<!-- <?= htmlspecialchars($view)?> -->
<?
require($view);
?>
</div>
<? endif; ?>
</div>
<? if (@$sidebar): ?>
</div>
</div>
</div>
<? endif; ?>
<? if (@$footer) include($footer); ?>
</body>
</html>skin.php
application/x-php, 2654 bytes (load raw)
