suzanne.soy/scribble-enhanced
1
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity
1,621 Commits 2 Branches 3 Tags 8.8 MiB
460d1165ef
Commit Graph

2 Commits

Author SHA1 Message Date
Matthew Butterick
460d1165ef add missing weight of Source Code font 
original commit: dbad2913ec09975b701b54d373682ad5a94007a8
 2013-12-04 09:57:54 -06:00
Matthew Flatt
76cca479d9 restore old Scribble default style, but make new style default for manuals 
Using
 #lang scribble/base
produces HTML output in the old style, while
 #lang scribble/manual
uses the new style.

To get the new style without switching to `#lang scribble/manual`,
use `manual-doc-style`.

Related changes include the addition of `css-style-addition` and
`js-style-addition`.

original commit: b520b66c4e8e54909c7d7b1126044e984989e8ef
 2013-11-16 14:38:59 -07:00