From 28cdd0acfe3d861db1fcd74dee1d9109dca8bcac Mon Sep 17 00:00:00 2001 From: yggverse Date: Fri, 22 Mar 2024 00:03:29 +0200 Subject: [PATCH] replace highlight div with p --- src/webui/search.php | 44 +++++++++++++++++++++++++------------------- 1 file changed, 25 insertions(+), 19 deletions(-) diff --git a/src/webui/search.php b/src/webui/search.php index 541e5f7..343cea9 100644 --- a/src/webui/search.php +++ b/src/webui/search.php @@ -358,10 +358,6 @@ $results = $query->offset($p * $config->webui->pagination->limit - $config->webu margin: 8px 0; } - p { - font-size: 11px; - } - .text-warning { color: #db6161; fill: #db6161; @@ -449,36 +445,46 @@ $results = $query->offset($p * $config->webui->pagination->limit - $config->webu ?> identicon getHighlight()['title'])) { ?> - getHighlight()['title'] as $title) { ?> -
-

-
- +
+

+ getHighlight()['title'] as $title) { ?> +

+ +

+
title)) { ?>

title ?>

getHighlight()['description'])) { ?> - getHighlight()['description'] as $description) { ?> -
- +
+ getHighlight()['description'] as $description) { ?> +

+ +
description)) { ?> -
description ?>
+
+ description ?> +
getHighlight()['keywords'])) { ?> - getHighlight()['keywords'] as $keywords) { ?> -
- +
+ getHighlight()['keywords'] as $keywords) { ?> +

+ +
keywords)) { ?>
keywords ?>
getHighlight()['body'])) { ?> - getHighlight()['body'] as $body) { ?> -
- +
+ getHighlight()['body'] as $body) { ?> +

+ +
url)) ?>