diff --git a/prefs.php b/prefs.php
index a2e7ac31c..b4d7922d2 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,7 +1,27 @@
+<?
+	require_once "version.php"; 
+	require_once "config.php";
+	require_once "db-prefs.php";
+
+	$link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);	
+?>
 <html>
 <head>
 	<title>Tiny Tiny RSS : Preferences</title>
 	<link rel="stylesheet" href="tt-rss.css" type="text/css">
+
+	<? if (get_pref($link, 'USE_COMPACT_STYLESHEET')) { ?>
+
+		<link rel="stylesheet" href="tt-rss_compact.css" type="text/css">
+
+	<? } else { ?>
+
+		<link title="Compact Stylesheet" rel="alternate stylesheet" 
+			type="text/css" href="tt-rss_compact.css"/> 
+
+	<? } ?>
+
+	
 	<script type="text/javascript" src="functions.js"></script>
 	<script type="text/javascript" src="prefs.js"></script>
 
@@ -13,14 +33,6 @@
 
 <body onload="init()">
 
-<?
-	require_once "version.php"; 
-	require_once "config.php";
-	require_once "db-prefs.php";
-
-	$link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);	
-?>
-
 <table width="100%" height="100%" cellspacing="0" cellpadding="0" class="main">
 <? if (get_pref($link, 'DISPLAY_HEADER')) { ?>
 <tr>
@@ -72,6 +84,7 @@
 <? } ?>
 </table>
 
+<? db_close($link); ?>
 
 </body>
 </html>
diff --git a/tt-rss.php b/tt-rss.php
index a6a1842c6..5bf785630 100644
--- a/tt-rss.php
+++ b/tt-rss.php
@@ -198,6 +198,7 @@
 <? } ?>
 </table>
 
+<? db_close($link); ?>
 
 </body>
 </html>
