From 698cbd397c991141ecc6deeb2b98b37892314e3c Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Fri, 6 Jun 2025 18:11:48 -0600 Subject: [PATCH] Update style --- ...0d589b651a0245aec395b2a5183f97402f6784.css | 394 ++++++++++++++++++ css/styles.css.map | 2 +- developers/microsoft-research/index.html | 2 +- developers/sri-international/index.html | 2 +- index.html | 2 +- taxonomies/index.html | 2 +- tools/yices/index.html | 2 +- tools/z3/index.html | 2 +- 8 files changed, 401 insertions(+), 7 deletions(-) create mode 100644 css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css diff --git a/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css b/css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css new file mode 100644 index 0000000..70a480e --- /dev/null +++ b/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 */ \ No newline at end of file diff --git a/css/styles.css.map b/css/styles.css.map index e394214..8fc93b7 100644 --- a/css/styles.css.map +++ b/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" diff --git a/developers/microsoft-research/index.html b/developers/microsoft-research/index.html index 3f42e4b..36f2ca8 100644 --- a/developers/microsoft-research/index.html +++ b/developers/microsoft-research/index.html @@ -22,7 +22,7 @@ - + diff --git a/developers/sri-international/index.html b/developers/sri-international/index.html index 04d7251..146b7db 100644 --- a/developers/sri-international/index.html +++ b/developers/sri-international/index.html @@ -22,7 +22,7 @@ - + diff --git a/index.html b/index.html index d552b31..38d33d7 100644 --- a/index.html +++ b/index.html @@ -24,7 +24,7 @@ pariatur do dolor ipsum enim. Consequat tempor do dolor eu. Non id id anim anim" - + diff --git a/taxonomies/index.html b/taxonomies/index.html index e3030d9..5fe412d 100644 --- a/taxonomies/index.html +++ b/taxonomies/index.html @@ -22,7 +22,7 @@ - + diff --git a/tools/yices/index.html b/tools/yices/index.html index e277abc..bcfca81 100644 --- a/tools/yices/index.html +++ b/tools/yices/index.html @@ -22,7 +22,7 @@ - + diff --git a/tools/z3/index.html b/tools/z3/index.html index 88bbd42..9945cdc 100644 --- a/tools/z3/index.html +++ b/tools/z3/index.html @@ -22,7 +22,7 @@ - +