diff --git a/themes/default/css.php b/themes/default/css.php
index 5acf7e4444..586fc87fa3 100644
--- a/themes/default/css.php
+++ b/themes/default/css.php
@@ -210,6 +210,7 @@ header('Expires: '.gmdate('D, d M Y H:i:s',time()+3600).' GMT');
 
 	pre {
 		white-space: pre-wrap;
+		color: <?php echo ($_SESSION['theme']['pre_text_color']['text'] != '') ? $_SESSION['theme']['pre_text_color']['text'] : '#5f5f5f'; ?>;
 		}
 
 	div#footer {