     [
         <gadget>
             divider-interior >>interior
-            { 800 10 } >>dim
+            ${ default-font-size 67 * default-font-size 5/6 * } >>dim
             { 1 0 } >>orientation
         gadget.
     ] ($block) ;

        }
        { snippet-style
            H{
                { font-name "monospace" }
                { font-size 36 }
                { foreground T{ rgba f 0.1 0.1 0.4 1 } }
            }
        }
        { table-content-style
            H{ { wrap-margin 1000 } }
        }
        { list-style
            H{ { table-gap { 10 20 } } }
        }
    }

: $title ( string -- )
    [
        H{
            { font-name "sans-serif" }
            { font-size 48 }
        } format
    ] ($block) ;


    H{
        { default-span-style
            H{
                { font-name $ default-sans-serif-font-name }
                { font-size $[ default-font-size 3 * ] }
            }
        }
        { default-block-style
            H{
                { wrap-margin $[ default-font-size 92 * ] }
            }
        }
        { code-char-style
            H{
                { font-name $ default-monospace-font-name }
                { font-size $[ default-font-size 3 * ] }
            }
        }
        { code-style
