Layout and font tweaks

numbbo · Nov 29, 2024 · 5a7b95c · 5a7b95c
1 parent 0decf5a
commit 5a7b95c
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 12 deletions.
diff --git a/_quarto.yml b/_quarto.yml
@@ -32,6 +32,7 @@ website:
     - text: Get Started
       href: getting-started/index.qmd
     - section: Test Suites
+      href: suites.qmd
       contents:
       - section: bbob
         href: bbob/overview.qmd

diff --git a/coco.scss b/coco.scss
@@ -1,21 +1,39 @@
 /*-- scss:defaults --*/
 
-$primary:       #4E763B !default;
-$background:    #D9E5D3;
-$sidebar-bg:                        $background;
+$primary: #4E763B !default;
+$background: #D9E5D3;
+
+$sidebar-bg: $background;
+$grid-sidebar-width: 17rem !default;
+$grid-body-width: 1000px !default;
+
+$breadcrumb-font-size: 2.25rem !default;
+$breadcrumb-padding-y: .25rem !default;
+$breadcrumb-padding-x: .375rem !default;
+$breadcrumb-bg: #eee !default;
+$breadcrumb-border-radius: .25rem !default;
 
-$breadcrumb-padding-y:              .375rem !default;
-$breadcrumb-padding-x:              .75rem !default;
-$breadcrumb-bg:                     $background !default;
-$breadcrumb-border-radius:          .25rem !default;
 
 $web-font-path: "https://fonts.googleapis.com/css2?family=Roboto:wght@400;500;700&display=swap" !default;
 
+$font-family-sans-serif: "Inter", sans-serif !default;
+$font-family-monospace: "IBM Plex Mono", monospace !default;
+$headings-font-weight: 300 !default;
+
+$font-weight-lighter:         lighter !default;
+$font-weight-light:           200 !default;
+$font-weight-normal:          300 !default;
+$font-weight-medium:          400 !default;
+$font-weight-semibold:        400 !default;
+
 /*-- scss:rules --*/
 
 // Variables
+@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;1,100;1,200;1,300;1,400;1,500;1,600;1,700&family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&display=swap');
 
-@import url($web-font-path);
+h1, .h1, h2, .h2, h3, .h3 {
+  font-weight: $font-weight-medium;
+}
 
 .sidebar-header {
   text-align: center;
@@ -36,20 +54,21 @@ $web-font-path: "https://fonts.googleapis.com/css2?family=Roboto:wght@400;500;70
 .function-inset {
   padding: 0pt 1rem;
   margin: 0px 0px .5rem .5rem;
-
+  background-color: #fff;
+
   border: 0.5px solid #888;
   border-collapse: collapse;  
 }
 
 @media (width > 600px) {
   .function-inset {
     float: right;
-    width: 17rem;
+    width: 22rem;
   }
 }
 
 .function-inset h3 {
   margin-top: 0.5rem;  
-  font-size: 12pt;
-  font-weight: 600;
+  font-size: 1rem;
+  font-weight: $font-weight-bold;
 }