summaryrefslogtreecommitdiffstats
path: root/application/views/file
diff options
context:
space:
mode:
authorFlorian Pritz <bluewind@xinu.at>2012-06-13 21:27:14 +0200
committerFlorian Pritz <bluewind@xinu.at>2012-08-16 16:31:28 +0200
commit71273d9477b88cca86e6724491c1ea337ee96f05 (patch)
treeb5b0d73085775d9aacae2871a0d57faa99ea72ca /application/views/file
parent789ffb00e6d25af4409d26dce04d211e365f2d58 (diff)
switch to pygments
- faster than geshi - easier to modify the css because there is only one - geshi upstream seems pretty dead Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/views/file')
-rw-r--r--application/views/file/html_header.php6
1 files changed, 4 insertions, 2 deletions
diff --git a/application/views/file/html_header.php b/application/views/file/html_header.php
index 9022f54e0..d933d65d3 100644
--- a/application/views/file/html_header.php
+++ b/application/views/file/html_header.php
@@ -2,8 +2,10 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title><?php echo $title; ?></title>
- <link rel="stylesheet" type="text/css" href="<?php echo link_with_mtime("/data/paste.css"); ?>" />
- <link rel="stylesheet" type="text/css" href="<?php echo link_with_mtime("/data/paste-$current_highlight.css"); ?>" />
+ <link rel="stylesheet" type="text/css" href="<?php echo link_with_mtime("/data/paste.css"); ?>" />
+<?php if (file_exists(FCPATH."/data/paste-$current_highlight.css")) {?>
+ <link rel="stylesheet" type="text/css" href="<?php echo link_with_mtime("/data/paste-$current_highlight.css"); ?>" />
+<?php } ?>
</head>
<body>
<div class="top_bar">