<style type="text/css">
div.line{
font-family:monospace;
white-space:pre;
}
</style>
<?php include "../include/header.php" ?>