Update style

css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css

@@ -0,0 +1,394 @@
+@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-family: 'Source Sans 3', sans-serif;
+}
+
+/* _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;
+}
+
+#page-header .time {
+  font-size: 0.8rem;
+  color: #bfc9e6;
+}
+
+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;
+  background: #0a0c11;
+  border-radius: 8px 8px 0 0;
+}
+
+table#taxonomy-table th {
+  color: #ffffff;
+  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 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;
+}
+
+#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;
+  color: #ffffff;
+  transition: color 0.4s ease-in-out;
+  font-size: 1.2rem;
+}
+
+#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus {
+  color: #0a0c11;
+}
+
+/* _text.sass */
+a {
+  color: #3380ff;
+  text-decoration: underline;
+  transition: color 0.3s ease-in-out;
+}
+
+a:hover, a:focus {
+  color: #1de9b6;
+}
+
+#quick-links {
+  text-align: left;
+}
+
+#link-list {
+  display: flex;
+  gap: 1.5rem;
+  align-items: left;
+  margin: 1.5rem 0;
+}
+
+#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;
+}
+
+#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;
+}
+
+/*# sourceMappingURL=styles.css.map */

css/styles.css.map

@@ -15,7 +15,7 @@
 		"@import \"fonts\";\n@import \"colors\";\n@import \"layout\";\n@import \"taxonomy\";\n@import \"links\";\n@import \"publications\";\n",
 		"$font-path: '/fonts/static/';\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 100;\n    src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 200;\n    src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 300;\n    src: local('Source Sans 3 Light'), local('SourceSans3-Light'), url('#{$font-path}SourceSans3-Light.woff2') format('woff2'), url('#{$font-path}SourceSans3-Light.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 400;\n    src: local('Source Sans 3 Regular'), local('SourceSans3-Regular'), url('#{$font-path}SourceSans3-Regular.woff2') format('woff2'), url('#{$font-path}SourceSans3-Regular.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: italic;\n    font-display: swap;\n    font-weight: 400;\n    src: local('Source Sans 3 Italic'), local('SourceSans3-Italic'), url('#{$font-path}SourceSans3-Italic.woff2') format('woff2'), url('#{$font-path}SourceSans3-Italic.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 500;\n    src: local('Source Sans 3 Medium'), local('SourceSans3-Medium'), url('#{$font-path}SourceSans3-Medium.woff2') format('woff2'), url('#{$font-path}SourceSans3-Medium.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 600;\n    src: local('Source Sans 3 SemiBold'), local('SourceSans3-SemiBold'), url('#{$font-path}SourceSans3-SemiBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-SemiBold.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 700;\n    src: local('Source Sans 3 Bold'), local('SourceSans3-Bold'), url('#{$font-path}SourceSans3-Bold.woff2') format('woff2'), url('#{$font-path}SourceSans3-Bold.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: italic;\n    font-display: swap;\n    font-weight: 700;\n    src: local('Source Sans 3 Bold Italic'), local('SourceSans3-BoldItalic'), url('#{$font-path}SourceSans3-BoldItalic.woff2') format('woff2'), url('#{$font-path}SourceSans3-BoldItalic.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 800;\n    src: local('Source Sans 3 ExtraBold'), local('SourceSans3-ExtraBold'), url('#{$font-path}SourceSans3-ExtraBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraBold.ttf') format('truetype'); }\n\n@font-face {\n    font-family: 'Source Sans 3';\n    font-style: normal;\n    font-display: swap;\n    font-weight: 900;\n    src: local('Source Sans 3 Black'), local('SourceSans3-Black'), url('#{$font-path}SourceSans3-Black.woff2') format('woff2'), url('#{$font-path}SourceSans3-Black.ttf') format('truetype'); }\n\n\n* {\n    font-family: 'Source Sans 3', sans-serif; }\n",
 		"//\n// _colors.sass\n// Attractive dark mode color scheme for fmtools\n//\n\n// Primary palette\n$primary: #3380ff;\n$primary-dark: #1a3e70;\n$primary-light: #8fc6ff;\n\n// Accent colors\n$accent: #1de9b6;\n$accent-dark: #00897b;\n$accent-light: #6fffd2;\n\n\n// Success, warning, error\n$success: #00e676;\n$warning: #ffd600;\n$error: #ff1744;\n\n// Neutral palette (dark mode)\n$darkest: #0a0c11;\n$background: #10131a;\n$surface: #1a1e29;\n$border: #3a4054;\n$text: #ffffff;\n$text-subtle: #bfc9e6;\n",
-		"/* _layout.sass */\n\n/* Variables */\n$spacing-unit: 1.5rem;\n$section-spacing: 2rem;\n$border-radius: 8px;\n\nhtml {\n    background: darken($background, 3%); }\n\n/* Base Layout */\nbody {\n    background: $background;\n    color: $text;\n    font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif;\n    width: 100%;\n    height: 100%;\n    max-width: 1024px;\n    margin: $spacing-unit auto;\n    padding: $spacing-unit;\n    box-sizing: border-box;\n    border-radius: $border-radius; }\n\nheader {\n    background: $surface;\n    margin: $spacing-unit;\n    padding: $spacing-unit;\n    display: flex;\n    flex-wrap: wrap;\n    align-items: center;\n    justify-content: space-between;\n    border-radius: $border-radius;\n    margin: 0 auto; }\n\nheader h1, header h1 a {\n    margin: 0;\n    font-size: 1.6rem;\n    font-weight: 600;\n    color: $text;\n    text-decoration: none;\n    padding: 0;\n    transition: color 0.4s ease-in-out;\n    &:hover, &:focus {\n        color: $accent-light; } }\n\nnav {\n    display: flex;\n    gap: $spacing-unit;\n    align-items: center; }\n\nnav ul {\n    list-style: none;\n    margin: 0;\n    padding: 0;\n    display: flex;\n    gap: 0.5rem;\n    flex-wrap: wrap; }\n\nnav ul li {\n    margin: 0;\n    padding: 0; }\n\nnav ul li a {\n    padding: 0.4rem 0.6rem;\n    border-radius: $border-radius;\n    background: $primary-dark;\n    color: $text;\n    text-decoration: none;\n    font-weight: 500;\n    transition: background 0.4s ease-in-out;\n    &:hover, &:focus {\n        background: $accent-dark;\n        color: $text; } }\n\n@media (max-width: 600px) {\n    header {\n        flex-direction: column;\n        align-items: flex-start;\n        gap: $spacing-unit; }\n\n    nav {\n        width: 100%;\n        justify-content: flex-start;\n        margin-top: $spacing-unit; } }\n\nmain {\n    margin: $spacing-unit 0;\n    padding: $spacing-unit; }\n\nfooter {\n    background: $surface;\n    margin: $spacing-unit;\n    padding: $spacing-unit;\n    border-radius: $border-radius;\n    margin: 0 auto;\n    text-align: center; }\n\nfooter p {\n    margin: 0;\n    font-size: 0.9rem;\n    color: $text-subtle;\n    text-align: center; }\n\nsection {\n    border-bottom: 3px solid $surface;\n    margin: $section-spacing 0;\n    padding-bottom: $section-spacing; }\n\n#page-header {\n    border-bottom: 3px solid $surface;\n    margin: $section-spacing 0;\n    padding-bottom: $section-spacing;\n    text-align: center;\n    h1 {\n        margin: 0; }\n    .time {\n        font-size: 0.8rem;\n        color: $text-subtle; } }\n",
+		"/* _layout.sass */\n\n/* Variables */\n$spacing-unit: 1.5rem;\n$section-spacing: 2rem;\n$border-radius: 8px;\n\nhtml {\n    background: darken($background, 3%); }\n\n/* Base Layout */\nbody {\n    background: $background;\n    color: $text;\n    font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif;\n    width: 100%;\n    height: 100%;\n    max-width: 1024px;\n    margin: $spacing-unit auto;\n    padding: $spacing-unit;\n    box-sizing: border-box;\n    border-radius: $border-radius; }\n\nheader {\n    background: $surface;\n    margin: $spacing-unit;\n    padding: $spacing-unit;\n    display: flex;\n    flex-wrap: wrap;\n    align-items: center;\n    justify-content: space-between;\n    border-radius: $border-radius;\n    margin: 0 auto; }\n\nheader h1, header h1 a {\n    margin: 0;\n    font-size: 1.6rem;\n    font-weight: 900;\n    color: $text;\n    text-decoration: none;\n    padding: 0;\n    transition: color 0.4s ease-in-out;\n    &:hover, &:focus {\n        color: $accent-light; } }\n\nnav {\n    display: flex;\n    gap: $spacing-unit;\n    align-items: center; }\n\nnav ul {\n    list-style: none;\n    margin: 0;\n    padding: 0;\n    display: flex;\n    gap: 0.5rem;\n    flex-wrap: wrap; }\n\nnav ul li {\n    margin: 0;\n    padding: 0; }\n\nnav ul li a {\n    padding: 0.4rem 0.6rem;\n    border-radius: $border-radius;\n    background: $primary-dark;\n    color: $text;\n    text-decoration: none;\n    font-weight: 500;\n    transition: background 0.4s ease-in-out;\n    &:hover, &:focus {\n        background: $accent-dark;\n        color: $text; } }\n\n@media (max-width: 600px) {\n    header {\n        flex-direction: column;\n        align-items: flex-start;\n        gap: $spacing-unit; }\n\n    nav {\n        width: 100%;\n        justify-content: flex-start;\n        margin-top: $spacing-unit; } }\n\nmain {\n    margin: $spacing-unit 0;\n    padding: $spacing-unit; }\n\nfooter {\n    background: $surface;\n    margin: $spacing-unit;\n    padding: $spacing-unit;\n    border-radius: $border-radius;\n    margin: 0 auto;\n    text-align: center; }\n\nfooter p {\n    margin: 0;\n    font-size: 0.9rem;\n    color: $text-subtle;\n    text-align: center; }\n\nsection {\n    border-bottom: 3px solid $surface;\n    margin: $section-spacing 0;\n    padding-bottom: $section-spacing; }\n\n#page-header {\n    border-bottom: 3px solid $surface;\n    margin: $section-spacing 0;\n    padding-bottom: $section-spacing;\n    text-align: center;\n    h1 {\n        margin: 0; }\n    .time {\n        font-size: 0.8rem;\n        color: $text-subtle; } }\n",
 		"\ntable#taxonomy-table {\n    width: 100%;\n    border-collapse: collapse;\n    // border: 3px solid $darkest\n    box-sizing: border-box;\n    background: $surface;\n    text-align: left;\n\n    tr {\n        border-bottom: 3px solid $background;\n        &:nth-child(even) {\n            background: darken($surface, 2%);\n            transition: background 0.4s ease-in-out; }\n        &:nth-child(odd) {\n            background: lighten($surface, 3%);\n            transition: background 0.4s ease-in-out; }\n        &:hover, &:focus {\n            background: $border; } }\n\n    thead {\n        text-align: left;\n        border: none;\n        background: $darkest;\n        border-radius: $border-radius $border-radius 0 0; }\n\n    th {\n        color: $text;\n        padding: 0.6rem 0.6rem;\n        text-align: left;\n        font-weight: 600;\n        border: none; }\n\n    td {\n        padding: 0.3rem 0.6rem;\n        text-align: left;\n        font-weight: 600;\n        border: none; }\n\n    a.term-link {\n        padding: 0.2rem 0.6rem;\n        margin: 0.2rem;\n        display: inline-block;\n        border-radius: $border-radius;\n        text-decoration: none;\n        font-weight: 500;\n        color: $text;\n        transition: color 0.4s ease-in-out, background 0.4s ease-in-out;\n        &:hover, &:focus {\n            color: $darkest !important;\n            background: $text-subtle !important; } }\n\n    a.taxonomy-name {\n        padding: 0;\n        margin: 0.2rem;\n        display: inline-block;\n        border-radius: $border-radius;\n        text-decoration: none;\n        font-weight: 500;\n        color: $text;\n        transition: color 0.4s ease-in-out;\n        &:hover, &:focus {\n            color: $accent-light; } } }\n\n#taxonomy-page a.term-link {\n    padding: 0.3rem 1.2rem;\n    margin: 0.2rem;\n    display: inline-block;\n    border-radius: $border-radius;\n    text-decoration: none;\n    font-weight: 500;\n    color: $text;\n    transition: color 0.4s ease-in-out;\n    font-size: 1.2rem;\n    &:hover, &:focus {\n        color: $darkest; } }\n\n",
 		"/* _text.sass */\n\na {\n    color: $primary;\n    text-decoration: underline;\n    transition: color 0.3s ease-in-out;\n    &:hover, &:focus {\n        color: $accent; } }\n\n#quick-links {\n    text-align: left; }\n\n#link-list {\n    display: flex;\n    gap: $spacing-unit;\n    align-items: left;\n    margin: $spacing-unit 0; }\n\n#link-list h2 {\n    flex: none; }\n\n#link-list ul {\n    list-style: none;\n    margin: 0;\n    padding: 0;\n    display: flex;\n    gap: 1rem;\n    flex-wrap: wrap; }\n\n#link-list ul li {\n    margin: 0;\n    padding: 0; }\n\n#link-list ul li a {\n    padding: 0.3rem 0.6rem;\n    border-radius: $border-radius;\n    background: $primary-light;\n    color: $darkest;\n    text-decoration: none;\n    font-weight: 500;\n    transition: background 0.3s ease-in-out;\n    &:hover, &:focus {\n        background: $accent-light; } }\n",
 		"#publications {\n    ul {\n        list-style: none;\n        margin: 0;\n        padding: 0;\n        display: flex;\n        flex-direction: column;\n        gap: 1em;\n\n        li {\n            background: $surface;\n            border-radius: 8px;\n            padding: 1em 1.5em; } } }\n"

developers/microsoft-research/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
 <link rel="manifest" href='http://localhost:1313/site.webmanifest'>
 
-<link rel="stylesheet" href="http://localhost:1313/css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css" integrity="sha512-4/z7NFLGnQlBT&#43;US6dyjHYeeSmxH0jAQ&#43;7B&#43;tmk9RH9kXTvS0CHA0o0Pe0/m8yoQ5ZlIjNsWxnUKmhJniBMZFw==">
+<link rel="stylesheet" href="http://localhost:1313/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css" integrity="sha512-PBb6EfXGFITuXsGsNJaW8nhWGP5IwQg/O7wDlcFipdVumcv&#43;l7c0/MZZeWmXDVibZRoCRa7DlbKlGD&#43;XQC9nhA==">
 
 
 

developers/sri-international/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
 <link rel="manifest" href='http://localhost:1313/site.webmanifest'>
 
-<link rel="stylesheet" href="http://localhost:1313/css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css" integrity="sha512-4/z7NFLGnQlBT&#43;US6dyjHYeeSmxH0jAQ&#43;7B&#43;tmk9RH9kXTvS0CHA0o0Pe0/m8yoQ5ZlIjNsWxnUKmhJniBMZFw==">
+<link rel="stylesheet" href="http://localhost:1313/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css" integrity="sha512-PBb6EfXGFITuXsGsNJaW8nhWGP5IwQg/O7wDlcFipdVumcv&#43;l7c0/MZZeWmXDVibZRoCRa7DlbKlGD&#43;XQC9nhA==">
 
 
 

index.html

@@ -24,7 +24,7 @@ pariatur do dolor ipsum enim. Consequat tempor do dolor eu. Non id id anim anim"
 <link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
 <link rel="manifest" href='http://localhost:1313/site.webmanifest'>
 
-<link rel="stylesheet" href="http://localhost:1313/css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css" integrity="sha512-4/z7NFLGnQlBT&#43;US6dyjHYeeSmxH0jAQ&#43;7B&#43;tmk9RH9kXTvS0CHA0o0Pe0/m8yoQ5ZlIjNsWxnUKmhJniBMZFw==">
+<link rel="stylesheet" href="http://localhost:1313/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css" integrity="sha512-PBb6EfXGFITuXsGsNJaW8nhWGP5IwQg/O7wDlcFipdVumcv&#43;l7c0/MZZeWmXDVibZRoCRa7DlbKlGD&#43;XQC9nhA==">
 
 
 
@@ -65,13 +65,13 @@ excepteur excepteur pariatur nostrud qui irure ullamco.</p>
     <h2>Featured Tools</h2>
     
       <article>
-        <h3><a href="/tools/z3/">Z3</a></h3>
+        <h3><a href="/tools/yices/">Yices 2</a></h3>
-            <p><p>Z3 is a high-performance SMT solver and theorem prover developed by Microsoft Research. It is widely …</p></p>
+            <p><p>Yices is a high-performance SMT solver and theorem prover developed by SRI International. It is widely used for checking the satisfiability of logical formulas over various theories, including arithmetic, bit-vectors, arrays, and uninterpreted …</p></p>
       </article>
     
       <article>
-        <h3><a href="/tools/yices/">Yices 2</a></h3>
+        <h3><a href="/tools/z3/">Z3</a></h3>
-            <p><p>Yices is a high-performance SMT solver and theorem prover developed by SRI International. It is …</p></p>
+            <p><p>Z3 is a high-performance SMT solver and theorem prover developed by Microsoft Research. It is widely used for checking the satisfiability of logical formulas over various theories, including arithmetic, bit-vectors, arrays, and uninterpreted …</p></p>
       </article>
     
   </section>

taxonomies/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
 <link rel="manifest" href='http://localhost:1313/site.webmanifest'>
 
-<link rel="stylesheet" href="http://localhost:1313/css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css" integrity="sha512-4/z7NFLGnQlBT&#43;US6dyjHYeeSmxH0jAQ&#43;7B&#43;tmk9RH9kXTvS0CHA0o0Pe0/m8yoQ5ZlIjNsWxnUKmhJniBMZFw==">
+<link rel="stylesheet" href="http://localhost:1313/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css" integrity="sha512-PBb6EfXGFITuXsGsNJaW8nhWGP5IwQg/O7wDlcFipdVumcv&#43;l7c0/MZZeWmXDVibZRoCRa7DlbKlGD&#43;XQC9nhA==">
 
 
 

tools/yices/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
 <link rel="manifest" href='http://localhost:1313/site.webmanifest'>
 
-<link rel="stylesheet" href="http://localhost:1313/css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css" integrity="sha512-4/z7NFLGnQlBT&#43;US6dyjHYeeSmxH0jAQ&#43;7B&#43;tmk9RH9kXTvS0CHA0o0Pe0/m8yoQ5ZlIjNsWxnUKmhJniBMZFw==">
+<link rel="stylesheet" href="http://localhost:1313/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css" integrity="sha512-PBb6EfXGFITuXsGsNJaW8nhWGP5IwQg/O7wDlcFipdVumcv&#43;l7c0/MZZeWmXDVibZRoCRa7DlbKlGD&#43;XQC9nhA==">
 
 
 

tools/z3/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
 <link rel="manifest" href='http://localhost:1313/site.webmanifest'>
 
-<link rel="stylesheet" href="http://localhost:1313/css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css" integrity="sha512-4/z7NFLGnQlBT&#43;US6dyjHYeeSmxH0jAQ&#43;7B&#43;tmk9RH9kXTvS0CHA0o0Pe0/m8yoQ5ZlIjNsWxnUKmhJniBMZFw==">
+<link rel="stylesheet" href="http://localhost:1313/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css" integrity="sha512-PBb6EfXGFITuXsGsNJaW8nhWGP5IwQg/O7wDlcFipdVumcv&#43;l7c0/MZZeWmXDVibZRoCRa7DlbKlGD&#43;XQC9nhA==">