Merge pull request #142 from nojaf/modern-theme

Modern theme
ionide · Nov 3, 2023 · 5b75b92 · 5b75b92
2 parents 6a1815a + bb4e097
commit 5b75b92
Show file tree

Hide file tree

Showing 7 changed files with 37 additions and 1,015 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -9,7 +9,7 @@
       ]
     },
     "fsdocs-tool": {
-      "version": "19.1.0",
+      "version": "20.0.0-alpha-002",
       "commands": [
         "fsdocs"
       ]

diff --git a/Directory.Build.props b/Directory.Build.props
@@ -29,5 +29,10 @@
     <PackageLicenseExpression>MIT</PackageLicenseExpression>
     <PackageTags>F#;analyzers;compiler;tooling;editor;</PackageTags>
   </PropertyGroup>
+
+  <PropertyGroup>
+    <FsDocsLogoSource>images/logo.png</FsDocsLogoSource>
+    <FsDocsFaviconSource>images/favicon.png</FsDocsFaviconSource>
+  </PropertyGroup>
 
 </Project>
diff --git a/docs/_body.html b/docs/_body.html
@@ -0,0 +1 @@
+<script type="module" src="{{root}}copyCommand.js"></script>
diff --git a/docs/_template.html b/docs/_template.html
diff --git a/docs/content/fsdocs-theme.css b/docs/content/fsdocs-theme.css
@@ -0,0 +1,30 @@
+/* Navigation links at the end of a page */
+#content > p:last-of-type {
+    display: flex;
+    justify-content: center;
+    margin-top: var(--spacing-300);
+
+    &:has(a + a) {
+        justify-content: space-between;
+    }
+
+    > a {
+        text-decoration: none;
+        background: var(--menu-icon-hover-background);
+        color: var(--code-background);
+        padding: var(--spacing-50) var(--spacing-100);
+        margin: 0;
+        display: inline-block;
+        box-shadow: 0 1px 1px var(--shadow-color--main);
+        transition: transform 200ms;
+
+        &:hover {
+            background-color: var(--menu-icon-hover-background);
+            transform: translateY(1px);
+        }
+
+        &:focus {
+            background-color: var(--nav-category);
+        }
+    }
+}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		<script type="module" src="{{root}}copyCommand.js"></script>