Commit 03e50a66 authored by Robert Ricci's avatar Robert Ricci

Better formatting for profile links

parent e3b078b2
......@@ -6,3 +6,10 @@
border: 1px solid #000000;
font-size: 12pt;
.profile-sample {
float: left;
text-align: left;
font-size: 80%;
......@@ -223,6 +223,11 @@
(list (make-css-addition "code-sample.css")
(make-tex-addition "code-sample.tex"))))
(define profile-sample-style
(make-style "profile-sample"
(list (make-css-addition "code-sample.css")
(make-tex-addition "code-sample.tex"))))
(define downloadable-code-sample-style
(make-style "downloadable-code-sample"
(list (make-css-addition "downloadable-code-sample.css")
......@@ -235,13 +240,14 @@
([filename (string-append "profile/" project "/" profile ".py")])
(code-sample filename)
(smaller (emph (hyperlink (profile-url project profile)
(code-sample filename
(elem #:style profile-sample-style (hyperlink (profile-url project profile)
(string-append "Open this profile on " (tb))))))))
(define (code-sample filename)
(define (code-sample filename [extra null])
; We include the code sample twice; the second time, it's hidden. This is
; so that we get to keep a 'clean' copy for the download button
(elem #:style code-sample-style (file->string (string-append "code-samples/" filename)))
(elem #:style downloadable-code-sample-style (file->string (string-append "code-samples/" filename)))))
......@@ -3,8 +3,8 @@
.code-sample-download-link {
display: block;
width: 100%;
text-align: right;
font-size: 80%;
width: 100%;
display: block;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment