diff --git a/about/index.html b/about/index.html index e3703bd..e935be7 100644 --- a/about/index.html +++ b/about/index.html @@ -110,7 +110,21 @@ I wanted to solve this problem, so I have been chipping away at this website for +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/android-chrome-192x192 copy.png b/android-chrome-192x192 copy.png deleted file mode 100644 index c414e34..0000000 Binary files a/android-chrome-192x192 copy.png and /dev/null differ diff --git a/android-chrome-192x192.png b/android-chrome-192x192.png deleted file mode 100644 index c414e34..0000000 Binary files a/android-chrome-192x192.png and /dev/null differ diff --git a/android-chrome-512x512 copy.png b/android-chrome-512x512 copy.png deleted file mode 100644 index 4beec01..0000000 Binary files a/android-chrome-512x512 copy.png and /dev/null differ diff --git a/android-chrome-512x512.png b/android-chrome-512x512.png deleted file mode 100644 index 4beec01..0000000 Binary files a/android-chrome-512x512.png and /dev/null differ diff --git a/apple-touch-icon copy.png b/apple-touch-icon copy.png deleted file mode 100644 index d280003..0000000 Binary files a/apple-touch-icon copy.png and /dev/null differ diff --git a/apple-touch-icon.png b/apple-touch-icon.png deleted file mode 100644 index d280003..0000000 Binary files a/apple-touch-icon.png and /dev/null differ diff --git a/contribute/index.html b/contribute/index.html index 3c8963d..893a55d 100644 --- a/contribute/index.html +++ b/contribute/index.html @@ -102,7 +102,21 @@ Request addding a tool: Submit"> +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css b/css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css deleted file mode 100644 index b72931f..0000000 --- a/css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 2rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css b/css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css deleted file mode 100644 index 3759333..0000000 --- a/css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: calc($spacing-unit / 2); - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css b/css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css deleted file mode 100644 index 85b1fea..0000000 --- a/css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css b/css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css deleted file mode 100644 index 7147339..0000000 --- a/css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css b/css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css deleted file mode 100644 index f47570b..0000000 --- a/css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: calc($spacing-unit/2); - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css b/css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css deleted file mode 100644 index 791edf3..0000000 --- a/css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css +++ /dev/null @@ -1,639 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css b/css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css deleted file mode 100644 index 1bd5b95..0000000 --- a/css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 49%; - min-width: 300px; - max-width: 49%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css b/css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css deleted file mode 100644 index 5864270..0000000 --- a/css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css +++ /dev/null @@ -1,620 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - margin: 1.5rem 0; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css b/css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css deleted file mode 100644 index ef6e641..0000000 --- a/css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css b/css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css deleted file mode 100644 index d714509..0000000 --- a/css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 50%; - min-width: 300px; - max-width: 50%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css b/css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css deleted file mode 100644 index f1862cd..0000000 --- a/css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css +++ /dev/null @@ -1,639 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css b/css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css deleted file mode 100644 index 6915161..0000000 --- a/css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css +++ /dev/null @@ -1,627 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: center; -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - margin: 1.5rem 0; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css b/css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css deleted file mode 100644 index 09b9c00..0000000 --- a/css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css +++ /dev/null @@ -1,641 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - margin: 1.5rem 0; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/favicon copy.ico b/favicon copy.ico deleted file mode 100644 index 674ca8e..0000000 Binary files a/favicon copy.ico and /dev/null differ diff --git a/favicon-16x16 copy.png b/favicon-16x16 copy.png deleted file mode 100644 index bbfeb27..0000000 Binary files a/favicon-16x16 copy.png and /dev/null differ diff --git a/favicon-32x32 copy.png b/favicon-32x32 copy.png deleted file mode 100644 index 54c77a6..0000000 Binary files a/favicon-32x32 copy.png and /dev/null differ diff --git a/favicon_io/android-chrome-192x192.png b/favicon_io/android-chrome-192x192.png deleted file mode 100644 index c414e34..0000000 Binary files a/favicon_io/android-chrome-192x192.png and /dev/null differ diff --git a/favicon_io/android-chrome-512x512.png b/favicon_io/android-chrome-512x512.png deleted file mode 100644 index 4beec01..0000000 Binary files a/favicon_io/android-chrome-512x512.png and /dev/null differ diff --git a/favicon_io/apple-touch-icon.png b/favicon_io/apple-touch-icon.png deleted file mode 100644 index 8d102f5..0000000 Binary files a/favicon_io/apple-touch-icon.png and /dev/null differ diff --git a/favicon_io/favicon-16x16.png b/favicon_io/favicon-16x16.png deleted file mode 100644 index bbfeb27..0000000 Binary files a/favicon_io/favicon-16x16.png and /dev/null differ diff --git a/favicon_io/favicon-32x32.png b/favicon_io/favicon-32x32.png deleted file mode 100644 index 54c77a6..0000000 Binary files a/favicon_io/favicon-32x32.png and /dev/null differ diff --git a/favicon_io/favicon.ico b/favicon_io/favicon.ico deleted file mode 100644 index 45c75ee..0000000 Binary files a/favicon_io/favicon.ico and /dev/null differ diff --git a/favicon_io/site.webmanifest b/favicon_io/site.webmanifest deleted file mode 100644 index 45dc8a2..0000000 --- a/favicon_io/site.webmanifest +++ /dev/null @@ -1 +0,0 @@ -{"name":"","short_name":"","icons":[{"src":"/android-chrome-192x192.png","sizes":"192x192","type":"image/png"},{"src":"/android-chrome-512x512.png","sizes":"512x512","type":"image/png"}],"theme_color":"#ffffff","background_color":"#ffffff","display":"standalone"} \ No newline at end of file diff --git a/index.html b/index.html index 81b8fdd..3809683 100644 --- a/index.html +++ b/index.html @@ -122,14 +122,47 @@ Contribute

- Glucose + PRISM + + Probabilistic Model Checker + +

+

PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that …

+ PRISM +
+ +
+

+ STAMINA + + Probabilistic Model Checker + +

+

A state-space truncation tool for Markov-Chains that can analyze infinite-sized models. Intefaces …

+ STAMINA +
+ +
+

+ E + + Theorem Prover + +

+

E is a theorem prover for full first-order logic (and now monomorphic higher-order logic) with …

+ E +
+ +
+

+ CaDiCaL SAT Solver

-

Glucose is a SAT solver. +

CaDiCaL is a simplified satisfiability solver.

- Glucose + CaDiCaL
@@ -145,35 +178,14 @@ Contribute

- PRISM + SMTInterpol - Probabilistic Model Checker + Interpolating SMT Solver

-

PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that …

- PRISM -
- -
-

- OpenSMT - - SMT Solver - -

-

OpenSMT is a compact and open-source SMT-solver written in C++, with the main goal of making …

- OpenSMT -
- -
-

- veriT - - SMT Solver - -

-

veriT is an SMT solver developed by LORIA and ULiege. It supports a wide range of theories and is …

- veriT +

SMTInterpol is an SMT Solver that can compute Craig interpolants for various theories. +APIs and …

+ SMTInterpol
@@ -187,40 +199,6 @@ Contribute Alt-Ergo
-
-

- Zipperposition - - Theorem Prover - -

-

Zipperposition is an automated theorem prover for first-order logic with equality and theories. -

- Zipperposition -
- -
-

- Bitwuzla - - SMT Solver - -

-

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size …

- Bitwuzla -
- -
-

- ParaFROST - - SMT Solver - -

-

ParaFROST is a parallel SAT solver with GPU-accelerated inprocessing capable of harnessing NVIDIA …

- ParaFROST -
-

cvc5 @@ -235,36 +213,68 @@ Contribute

- E - - Theorem Prover - -

-

E is a theorem prover for full first-order logic (and now monomorphic higher-order logic) with …

- E -
- -
-

- cvc4 - - Theorem Prover - -

-

[ Not Maintained Since 2021 ] cvc4 is an automatic theorem prover for SMT problems. It is succeeded …

- cvc4 -
- -
-

- Colibri + Q3B SMT Solver

-

Colibri is an SMT solver. -

- Colibri +

[ Not Maintained Since 2023 ] Q3B is an SMT solver for the quantified bit-vector formulas which …

+ Q3B +
+ +
+

+ OpenSMT + + SMT Solver + +

+

OpenSMT is a compact and open-source SMT-solver written in C++, with the main goal of making …

+ OpenSMT +
+ +
+

+ COMICS + + DTMC Counterexample Generator + +

+

COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for …

+ COMICS +
+ +
+

+ veriT + + SMT Solver + +

+

veriT is an SMT solver developed by LORIA and ULiege. It supports a wide range of theories and is …

+ veriT +
+ +
+

+ ParaFROST + + SMT Solver + +

+

ParaFROST is a parallel SAT solver with GPU-accelerated inprocessing capable of harnessing NVIDIA …

+ ParaFROST +
+ +
+

+ MathSAT + + SMT Solver + +

+

[ Closed-Source Tool ]  MiniSat is a minimalistic, open-source SAT solver, developed to help …

+ MathSAT
@@ -281,13 +291,49 @@ Contribute

- Boolector + Storm + + Probabilistic Model Checker + +

+

Storm is a tool for the analysis of systems involving random or probabilistic phenomena. +

+ Storm +
+ +
+

+ MiniSat + + SAT Solver + +

+

[ Not Maintained Since 2013 ] MiniSat is a minimalistic, open-source SAT solver, developed to help …

+ MiniSat +
+ +
+

+ Colibri SMT Solver

-

[ Not Maintained Since 2024 ] Boolector is a Satisfiability Modulo Theories (SMT) solver for the …

- Boolector +

Colibri is an SMT solver. +

+ Colibri +
+ +
+

+ Riss + + SAT Tool Collection + +

+

[ Not Maintained Since 2017 ] Riss is a SAT solving tool collection. +

+ Riss
@@ -302,51 +348,6 @@ APIs and Bindings This …

Z3
-
-

- COMICS - - Probabilistic Model Checker - -

-

COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for …

- COMICS -
- -
-

- MathSAT - - SMT Solver - -

-

[ Closed-Source Tool ]  MiniSat is a minimalistic, open-source SAT solver, developed to help …

- MathSAT -
- -
-

- Yices 2 - - SMT Solver - -

-

Yices is an SMT solver developed by SRI International. It is widely used for checking the …

- Yices 2 -
- -
-

- STP - - Simple Theorem Prover - -

-

STP is a constraint solver for quantifier-free bitvectors. -APIs and Bindings This tool is available …

- STP -
- @@ -362,7 +363,7 @@ APIs and Bindings This tool is available …

Made with ♥ using Hugo
- Rebuilt on + Built diff --git a/index.xml b/index.xml index 6476a88..4e2761b 100644 --- a/index.xml +++ b/index.xml @@ -8,6 +8,13 @@ en-us Sat, 07 Jun 2025 00:00:00 +0000 + + About + https://fmtools.fyi/about/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/about/ + <p>The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.</p> <h2 id="key-objectives">Key Objectives</h2> <ul> <li>Provide a comprehensive list of tools for formal methods.</li> <li>Group tools by rich metadata to support collaboration and boost tools&rsquo; strengths.</li> <li>Foster a collaborative community for tool development and support.</li> </ul> <h2 id="whos-behind-this">Who&rsquo;s Behind This?</h2> <p>Howdy. My name is Landon Taylor. I sometimes go by mossBiscuits. This is one of my hobby projects. I have a passion for formal methods. When I started learning about verification, there was a sharp barrier to entry due partially to the sprawl of content online. I wanted to solve this problem, so I have been chipping away at this website for a while now.</p> + Alt-Ergo https://fmtools.fyi/tools/sat-smt/alt-ergo/ @@ -50,6 +57,13 @@ https://fmtools.fyi/tools/prob/comics/ <p>COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for discrete-time Markov Chains (DTMCs).</p> + + Contribute + https://fmtools.fyi/contribute/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/contribute/ + <p>Instructions coming soon. Please see <a href="https://gitmoss.fyi/fmtools/content/wiki/Contribute" target="_blank" >https://gitmoss.fyi/fmtools/content/wiki/Contribute</a> for temporary instructions.</p> <h2 id="quick-links">Quick Links</h2> <ul> <li>Request addding a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2fadd_tool.md" target="_blank" >Submit Git Issue</a></li> <li>Request fixing a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2ffix_tool.md" target="_blank" >Submit Git Issue</a></li> </ul> + CryptoMiniSat https://fmtools.fyi/tools/sat-smt/cryptominisat/ @@ -113,6 +127,13 @@ https://fmtools.fyi/tools/sat-smt/minisat/ <p> <div style="display: flex; align-items: center; gap: 8px;"> <span style="display: inline-block; width: 12px; height: 12px; border-radius: 50%; background: rgb(240, 85, 85);"></span> <span style="display:none">[</span> <span style="color: rgb(240, 85, 85); font-size: 1rem;">Not Maintained Since 2013</span> <span style="display:none">]</span> </div> MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.</p> + + MIT License + https://fmtools.fyi/license/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/license/ + <p>MIT License</p> <p>Copyright (c) 2025 Landon Taylor.</p> <p>Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the &ldquo;Software&rdquo;), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:</p> + OpenSMT https://fmtools.fyi/tools/sat-smt/opensmt/ @@ -134,6 +155,13 @@ https://fmtools.fyi/tools/prob/prism/ <p>PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour.</p> + + Privacy + https://fmtools.fyi/privacy/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/privacy/ + <p>This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and there is no money to be made from this project.</p> <p>If you choose to contribute content (including emails, issues, and pull requests), any information you voluntarily provide may be stored as part of the website&rsquo;s content and source code. Only the data you explicitly submit will be saved, and data is not sold by the website&rsquo;s owner. Due to the public nature of its disclosure, this information is not considered private and may be used by the general public as allowed by respective laws and policies. Your privacy is respected, and no unnecessary data is collected or shared.</p> + Q3B https://fmtools.fyi/tools/sat-smt/q3b/ @@ -225,33 +253,5 @@ https://fmtools.fyi/tools/sat-smt/zipperposition/ <p>Zipperposition is an automated theorem prover for first-order logic with equality and theories.</p> - - About - https://fmtools.fyi/about/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/about/ - <p>The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.</p> <h2 id="key-objectives">Key Objectives</h2> <ul> <li>Provide a comprehensive list of tools for formal methods.</li> <li>Group tools by rich metadata to support collaboration and boost tools&rsquo; strengths.</li> <li>Foster a collaborative community for tool development and support.</li> </ul> <h2 id="whos-behind-this">Who&rsquo;s Behind This?</h2> <p>Howdy. My name is Landon Taylor. I sometimes go by mossBiscuits. This is one of my hobby projects. I have a passion for formal methods. When I started learning about verification, there was a sharp barrier to entry due partially to the sprawl of content online. I wanted to solve this problem, so I have been chipping away at this website for a while now.</p> - - - Contribute - https://fmtools.fyi/contribute/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/contribute/ - <p>Instructions coming soon. Please see <a href="https://gitmoss.fyi/fmtools/content/wiki/Contribute" target="_blank" >https://gitmoss.fyi/fmtools/content/wiki/Contribute</a> for temporary instructions.</p> <h2 id="quick-links">Quick Links</h2> <ul> <li>Request addding a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2fadd_tool.md" target="_blank" >Submit Git Issue</a></li> <li>Request fixing a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2ffix_tool.md" target="_blank" >Submit Git Issue</a></li> </ul> - - - MIT License - https://fmtools.fyi/license/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/license/ - <p>MIT License</p> <p>Copyright (c) 2025 Landon Taylor.</p> <p>Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the &ldquo;Software&rdquo;), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:</p> - - - Privacy - https://fmtools.fyi/privacy/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/privacy/ - <p>This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and there is no money to be made from this project.</p> <p>If you choose to contribute content (including emails, issues, and pull requests), any information you voluntarily provide may be stored as part of the website&rsquo;s content and source code. Only the data you explicitly submit will be saved, and data is not sold by the website&rsquo;s owner. Due to the public nature of its disclosure, this information is not considered private and may be used by the general public as allowed by respective laws and policies. Your privacy is respected, and no unnecessary data is collected or shared.</p> - diff --git a/license/index.html b/license/index.html index 588cc9f..c37687c 100644 --- a/license/index.html +++ b/license/index.html @@ -102,7 +102,21 @@ Permission is hereby granted, free of charge, to any person obtaining a copy of +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/maintenance/unknown/index.html b/maintenance/unknown/index.html deleted file mode 100644 index bc6f8d9..0000000 --- a/maintenance/unknown/index.html +++ /dev/null @@ -1,122 +0,0 @@ - - - - - - - - -Unknown | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- -

- - - - - - - Unknown - -

- -
- - - - - - - - - - - - -
ToolDescription
- -
- - - diff --git a/maintenance/unknown/index.xml b/maintenance/unknown/index.xml deleted file mode 100644 index c2689b8..0000000 --- a/maintenance/unknown/index.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - Unknown on Formal Methods Tools - http://localhost:1313/maintenance/unknown/ - Recent content in Unknown on Formal Methods Tools - Hugo - en-us - - - diff --git a/privacy/index.html b/privacy/index.html index 3ef9f95..cf716c2 100644 --- a/privacy/index.html +++ b/privacy/index.html @@ -99,7 +99,21 @@ +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/site.webmanifest b/site.webmanifest deleted file mode 100644 index 45dc8a2..0000000 --- a/site.webmanifest +++ /dev/null @@ -1 +0,0 @@ -{"name":"","short_name":"","icons":[{"src":"/android-chrome-192x192.png","sizes":"192x192","type":"image/png"},{"src":"/android-chrome-512x512.png","sizes":"512x512","type":"image/png"}],"theme_color":"#ffffff","background_color":"#ffffff","display":"standalone"} \ No newline at end of file diff --git a/sitemap.xml b/sitemap.xml index d3a226e..9cb46ca 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -4,6 +4,9 @@ https://fmtools.fyi/interfaces/.net/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/about/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/maintenance/actively-maintained/ 2025-06-07T00:00:00+00:00 @@ -67,6 +70,9 @@ https://fmtools.fyi/applications/constraint-solver/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/contribute/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/applications/counterexample-generator/ 2025-06-07T00:00:00+00:00 @@ -175,6 +181,9 @@ https://fmtools.fyi/licenses/mit/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/license/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/applications/model-checker/ 2025-06-07T00:00:00+00:00 @@ -223,6 +232,9 @@ https://fmtools.fyi/tools/prob/prism/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/privacy/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/applications/probabilistic-model-checker/ 2025-06-07T00:00:00+00:00 @@ -337,17 +349,9 @@ https://fmtools.fyi/tools/sat-smt/zipperposition/ 2025-06-07T00:00:00+00:00 - - https://fmtools.fyi/about/ https://fmtools.fyi/taxonomies/ - - https://fmtools.fyi/contribute/ https://fmtools.fyi/domains/ - - https://fmtools.fyi/license/ - - https://fmtools.fyi/privacy/ diff --git a/tools/prob/comics/index.html b/tools/prob/comics/index.html index efd7456..1853b48 100644 --- a/tools/prob/comics/index.html +++ b/tools/prob/comics/index.html @@ -86,7 +86,7 @@

COMICS

- Probabilistic Model Checker + DTMC Counterexample Generator diff --git a/tools/prob/storm-copy/index.html b/tools/prob/storm-copy/index.html deleted file mode 100644 index bf0ea75..0000000 --- a/tools/prob/storm-copy/index.html +++ /dev/null @@ -1,550 +0,0 @@ - - - - - - - - -Storm | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- - -
-

Storm

- - Probabilistic Model Checker - - - - - - - -
- - -
-

At a Glance

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - Applications - - - - - - - - - - - - - Probabilistic Model Checker - - - -
- - Developers - - - - - - - - - - - - - RWTH Aachen - - - -
- - Inputs - - - - - - - - - - - - - Galileo - - - - - - - - - - - - - GreatSPN - - - - - - - - - - - - - JANI - - - - - - - - - - - - - MRMC - - - - - - - - - - - - - PNML - - - - - - - - - - - - - PRISM - - - -
- - Interfaces - - - - - - - - - - - - - C++ - - - - - - - - - - - - - CLI - - - - - - - - - - - - - Python - - - -
- - Licenses - - - - - - - - - - - - - GPLv3 - - - -
- - Maintenance - - - - - - - - - - - - - Actively Maintained - - - -
-
- - -
-

Description

-

Storm is a tool for the analysis of systems involving random or probabilistic phenomena.

- -
- - - -
-

Publications

-
    - - - - - - - - - -
  • - The probabilistic model checker Storm - - - (2022) - - - by Hensel, Christian et. al. - - (589-610) - | Appears in International Journal on Software Tools for Technology Transfer - | Volume 24 - | Published by Springer - | 10.1007/s10009-021-00633-z - -
    • - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- - -
-
- Help improve this page!
- Submit an - issue or - pull request. -
- -
- - - Updated -
- -
- - - -
- - - diff --git a/tools/sat-smt/e-copy/index.html b/tools/sat-smt/e-copy/index.html deleted file mode 100644 index b0ff907..0000000 --- a/tools/sat-smt/e-copy/index.html +++ /dev/null @@ -1,329 +0,0 @@ - - - - - - - - -E | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- - -
-

E

- - Theorem Prover - - - - - - - -
- - -
-

At a Glance

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - Applications - - - - - - - - - - - - - Theorem Prover - - - -
- - Developers - - - - - - - - - - - - - DHBW Stuttgart - - - -
- - Interfaces - - - - - - - - - - - - - CLI - - - -
- - Licenses - - - - - - - - - - - - - GPLv2 - - - -
- - Maintenance - - - - - - - - - - - - - Actively Maintained - - - -
-
- - -
-

Description

-

E is a theorem prover for full first-order logic (and now monomorphic higher-order logic) with equality.

- -
- - - - -
-
- Help improve this page!
- Submit an - issue or - pull request. -
- -
- - - Updated -
- -
- - - -
- - - diff --git a/tools/sat-smt/vampire-copy/index.html b/tools/sat-smt/vampire-copy/index.html deleted file mode 100644 index 0faa362..0000000 --- a/tools/sat-smt/vampire-copy/index.html +++ /dev/null @@ -1,329 +0,0 @@ - - - - - - - - -Vampire | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- - -
-

Vampire

- - Theorem Prover - - - - - - - -
- - -
-

At a Glance

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - Applications - - - - - - - - - - - - - Theorem Prover - - - -
- - Developers - - - - - - - - - - - - - TU Wien - - - -
- - Interfaces - - - - - - - - - - - - - CLI - - - -
- - Licenses - - - - - - - - - - - - - BSD - - - -
- - Maintenance - - - - - - - - - - - - - Actively Maintained - - - -
-
- - -
-

Description

-

Vampire is a theorem prover.

- -
- - - - -
-
- Help improve this page!
- Submit an - issue or - pull request. -
- -
- - - Updated -
- -
- - - -
- - -