|
@@ -6,6 +6,7 @@
|
|
import auto_render from 'katex/dist/contrib/auto-render.mjs';
|
|
import auto_render from 'katex/dist/contrib/auto-render.mjs';
|
|
import 'katex/dist/katex.min.css';
|
|
import 'katex/dist/katex.min.css';
|
|
|
|
|
|
|
|
+ import { fade } from 'svelte/transition';
|
|
import { createEventDispatcher } from 'svelte';
|
|
import { createEventDispatcher } from 'svelte';
|
|
import { onMount, tick } from 'svelte';
|
|
import { onMount, tick } from 'svelte';
|
|
|
|
|
|
@@ -477,7 +478,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -503,7 +504,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -622,7 +623,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -637,7 +638,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -703,7 +704,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -733,7 +734,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -762,7 +763,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|
|
@@ -792,7 +793,7 @@
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
fill="none"
|
|
fill="none"
|
|
viewBox="0 0 24 24"
|
|
viewBox="0 0 24 24"
|
|
- stroke-width="1.5"
|
|
|
|
|
|
+ stroke-width="2"
|
|
stroke="currentColor"
|
|
stroke="currentColor"
|
|
class="w-4 h-4"
|
|
class="w-4 h-4"
|
|
>
|
|
>
|