diff --git a/web/app/controllers/ranklist.php b/web/app/controllers/ranklist.php
index 6f590e5..ac523c2 100644
--- a/web/app/controllers/ranklist.php
+++ b/web/app/controllers/ranklist.php
@@ -14,12 +14,12 @@
 		become404Page();
 	}
 	
-	if (!isset($_COOKIE['bootstrap4'])) {
-		$REQUIRE_LIB['bootstrap5'] = '';
+	requireLib('bootstrap5');
 
-		$config['div_classes'] = array('card', 'mb-3');
-		$config['table_classes'] = array('table', 'uoj-table', 'mb-0', 'text-center');
-	}
+	$config = [
+		'div_classes' => ['card', 'mb-3'],
+		'table_classes' => ['table', 'uoj-table', 'mb-0', 'text-center'],
+	];
 	?>
 <?php echoUOJPageHeader($title) ?>
 <h1 class="h2"><?= $title ?></h1>