pub / serci

Search the web with !keywords
git clone https://src.jayvii.de/pub/serci.git
Home | Log | Files | Exports | Refs | README | RSS

commit f5694c06aad743f2229f013752f2fc0143d3549f
parent 3d15114559c142e0b62d2ba393f000a7a6497659
Author: JayVii <jayvii[AT]posteo[DOT]de>
Date:   Fri, 12 Jul 2024 12:13:10 +0200

fix: heade REUSE information

Diffstat:
Mindex.php | 9+++++----
1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/index.php b/index.php @@ -149,10 +149,12 @@ foreach ($searchcats as $category => $searchids) { ?> - - <a href="#<?php echo $category; ?>"> <details id="<?php echo $category; ?>"> - <summary><?php echo $categories[$category]["name"]; ?></summary> + <summary> + <a href="#<?php echo $category; ?>"> + <?php echo $categories[$category]["name"]; ?> + </a> + </summary> <table> <tr> <th>Engine</th> @@ -188,7 +190,6 @@ ?> </table> </details> - </a> <?php } ?>