diff --git a/code-sample.css b/code-sample.css new file mode 100644 index 0000000000000000000000000000000000000000..ae70568e82679e80f5df67805727a5fd929d39cb --- /dev/null +++ b/code-sample.css @@ -0,0 +1,7 @@ +.code-sample { + display: block; + unicode-bidi: embed; + font-family: monospace; + white-space: pre; + border: 1px solid #000000; +} diff --git a/code-sample.tex b/code-sample.tex new file mode 100644 index 0000000000000000000000000000000000000000..009416910a588f99eb50262a990e898392136ee8 --- /dev/null +++ b/code-sample.tex @@ -0,0 +1 @@ +\newcommand{\code-sample}[1]{\fbox{\verbatim{#1}}} diff --git a/defs.rkt b/defs.rkt index cff1dade9ddf81829e44f381f8251ba056a2deb7..e6fe99949eb05ddf829b6d17448d709a003bbb29 100644 --- a/defs.rkt +++ b/defs.rkt @@ -1,7 +1,10 @@ #lang racket/base (require scribble/base) +(require scribble/core) (require scribble/decode) (require scribble/manual) +(require scribble/html-properties) +(require scribble/latex-properties) (require racket/class) (require racket/draw) (require racket/system) @@ -118,5 +121,10 @@ (define (ssh) (tt "ssh")) +(define code-sample-style + (make-style "code-sample" + (list (make-css-addition "code-sample.css") + (make-tex-addition "code-sample.tex")))) + (define (code-sample filename) - (code-inset (verbatim (file->string (string-append "code-samples/" filename))))) + (elem #:style code-sample-style (file->string (string-append "code-samples/" filename))))