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

3 Commits

Author SHA1 Message Date
Matthew Butterick
841770c364 small Scribble CSS fixes 
original commit: a24c8361b66cacb6809fc593113722abdbbafa64
 2013-12-04 09:57:53 -06:00
Matthew Butterick
da928bc69d Make font size consistent within .defmodule 
Merge to v6.0

original commit: c5f5d0e0ac174475bd3c6c85a776e96fcdc9fb68
 2013-11-26 18:19:54 -07: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