Merge branch 'develop' into docs-updates

README.md

@@ -51,5 +51,4 @@ From March 2024 until September 2024, the project is funded by UKRI's [BRAID pro
 
 Between April 2023 and December 2023, this project received funding from the Assuring Autonomy International Programme, a partnership between Lloyd’s Register Foundation and the University of York, which was awarded to Dr Christopher Burr.
 
-Between July 2021 and June 2022 this project received funding from the UKRI’s Trustworthy Autonomous Hub, which was awarded to Dr Christopher Burr
-(Grant number: TAS_PP_00040).
+Between July 2021 and June 2022 this project received funding from the UKRI’s Trustworthy Autonomous Hub, which was awarded to Dr Christopher Burr (Grant number: TAS_PP_00040).

next_frontend/components/cases/NodeAttributes.tsx

@@ -102,8 +102,8 @@ const NodeAttributes: React.FC<NodeAttributesProps> = ({
 
       <div className='mt-4 flex justify-start items-center gap-2'>
         {!node.data.assumption && (
-          <Button 
-            variant={'outline'} 
+          <Button
+            variant={'outline'}
             size={'sm'}
             onClick={() => setNewAssumption(!newAssumption)}
           >
@@ -112,8 +112,8 @@ const NodeAttributes: React.FC<NodeAttributesProps> = ({
           </Button>
         )}
         {!node.data.justification && node.type === 'strategy' && (
-          <Button 
-            variant={'outline'} 
+          <Button
+            variant={'outline'}
             size={'sm'}
             onClick={() => setNewJustification(!newJustification)}
           >
@@ -122,7 +122,7 @@ const NodeAttributes: React.FC<NodeAttributesProps> = ({
           </Button>
         )}
       </div>
-      
+
       <Form {...form}>
         <form onSubmit={form.handleSubmit(onSubmit)} className="space-y-6 my-4">
           {(node.data.assumption || newAssumption) && (

next_frontend/tea-docs/components/card.js

@@ -1,15 +1,19 @@
-import { FileTextIcon } from "lucide-react"
+import { FileTextIcon } from "lucide-react";
 
 export const CardComponent = ({ title, description, url }) => {
   return (
-    <a href={url} style={{ textDecoration: 'none' }}>
+    <a href={url} style={{ textDecoration: "none" }}>
       <div className="bg-gray-100/50 dark:bg-slate-900 p-6 rounded-lg group hover:bg-indigo-500 dark:hover:bg-indigo-600 hover:cursor-pointer transition-all duration-300">
         <div className="flex justify-start items-center gap-2 mb-2">
-          <FileTextIcon className="size-5 group-hover:text-white transition-all duration-300"/>
-          <div className="text-xl font-semibold group-hover:text-white transition-all duration-300">{title}</div>
+          <FileTextIcon className="size-5 group-hover:text-white transition-all duration-300" />
+          <div className="text-xl font-semibold group-hover:text-white transition-all duration-300">
+            {title}
+          </div>
+        </div>
+        <div className="text-muted-foreground text-sm group-hover:text-white transition-all duration-300">
+          {description}
         </div>
-        <div className="text-muted-foreground text-sm group-hover:text-white transition-all duration-300">{description}</div>
       </div>
     </a>
-  )
-}
+  );
+};

next_frontend/tea-docs/components/cardList.js

@@ -1,8 +1,3 @@
-
 export const CardList = ({ children }) => {
-  return (
-    <div className="grid grid-cols-2 gap-6">
-      {children}
-    </div>
-  )
-}
+  return <div className="grid grid-cols-2 gap-6">{children}</div>;
+};