From cde1427223dd0d066b4da59f6834b140ee3322a0 Mon Sep 17 00:00:00 2001 From: Andy Adams-Moran Date: Thu, 17 May 2012 11:00:45 -0700 Subject: Doco: use Galois' github style sheet in pandoc-generated html --- doc/manual_src/Makefile | 11 +- doc/manual_src/css-images/5ive_favicon.ico | Bin 0 -> 1150 bytes doc/manual_src/css-images/5ive_logo.svg | 132 +++++++++++++++++ doc/manual_src/css-images/galois_logo.png | Bin 0 -> 5196 bytes doc/manual_src/css-images/logo.png | Bin 0 -> 5196 bytes doc/manual_src/css-images/pageWrapperBottom.png | Bin 0 -> 1967 bytes doc/manual_src/css-images/pageWrapperTop.png | Bin 0 -> 1966 bytes doc/manual_src/galois-github-after-body.txt | 11 ++ doc/manual_src/galois-github-before-body.txt | 21 +++ doc/manual_src/galois-github-header.txt | 24 ++++ doc/manual_src/galois-github.css | 179 ++++++++++++++++++++++++ 11 files changed, 377 insertions(+), 1 deletion(-) create mode 100644 doc/manual_src/css-images/5ive_favicon.ico create mode 100644 doc/manual_src/css-images/5ive_logo.svg create mode 100644 doc/manual_src/css-images/galois_logo.png create mode 100644 doc/manual_src/css-images/logo.png create mode 100644 doc/manual_src/css-images/pageWrapperBottom.png create mode 100644 doc/manual_src/css-images/pageWrapperTop.png create mode 100644 doc/manual_src/galois-github-after-body.txt create mode 100644 doc/manual_src/galois-github-before-body.txt create mode 100644 doc/manual_src/galois-github-header.txt create mode 100644 doc/manual_src/galois-github.css (limited to 'doc/manual_src') diff --git a/doc/manual_src/Makefile b/doc/manual_src/Makefile index 76fdbda..31f4f4e 100644 --- a/doc/manual_src/Makefile +++ b/doc/manual_src/Makefile @@ -1,4 +1,12 @@ +LIBDIR=. +#LIBDIR=../../../FiveUI-github +HEADER=$(LIBDIR)/galois-github-header.txt +BEFORE_BODY=$(LIBDIR)/galois-github-before-body.txt +AFTER_BODY=$(LIBDIR)/galois-github-after-body.txt +CSS=$(LIBDIR)/galois-github.css +HTML5=-t html5 + DOCS := $(patsubst %.md,%.html,$(wildcard *.md)) all: $(DOCS) @@ -7,4 +15,5 @@ clean: $(RM) $(DOCS) %.html: %.md - pandoc $< -o $@ -s --highlight-style=kate + pandoc $< -o $@ -s --highlight-style=kate -H $(HEADER) -B $(BEFORE_BODY) -A $(AFTER_BODY) -c $(CSS) $(HTML5) + diff --git a/doc/manual_src/css-images/5ive_favicon.ico b/doc/manual_src/css-images/5ive_favicon.ico new file mode 100644 index 0000000..d69f35f Binary files /dev/null and b/doc/manual_src/css-images/5ive_favicon.ico differ diff --git a/doc/manual_src/css-images/5ive_logo.svg b/doc/manual_src/css-images/5ive_logo.svg new file mode 100644 index 0000000..f772669 --- /dev/null +++ b/doc/manual_src/css-images/5ive_logo.svg @@ -0,0 +1,132 @@ + + + + + + image/svg+xml + + HTML5 Logo + + + + + + HTML5 Logo + + + + + + + + + + + + + + + + + + + diff --git a/doc/manual_src/css-images/galois_logo.png b/doc/manual_src/css-images/galois_logo.png new file mode 100644 index 0000000..69dd4fc Binary files /dev/null and b/doc/manual_src/css-images/galois_logo.png differ diff --git a/doc/manual_src/css-images/logo.png b/doc/manual_src/css-images/logo.png new file mode 100644 index 0000000..69dd4fc Binary files /dev/null and b/doc/manual_src/css-images/logo.png differ diff --git a/doc/manual_src/css-images/pageWrapperBottom.png b/doc/manual_src/css-images/pageWrapperBottom.png new file mode 100644 index 0000000..a0fc9fe Binary files /dev/null and b/doc/manual_src/css-images/pageWrapperBottom.png differ diff --git a/doc/manual_src/css-images/pageWrapperTop.png b/doc/manual_src/css-images/pageWrapperTop.png new file mode 100644 index 0000000..3a68df9 Binary files /dev/null and b/doc/manual_src/css-images/pageWrapperTop.png differ diff --git a/doc/manual_src/galois-github-after-body.txt b/doc/manual_src/galois-github-after-body.txt new file mode 100644 index 0000000..ee0af0f --- /dev/null +++ b/doc/manual_src/galois-github-after-body.txt @@ -0,0 +1,11 @@ + + + + +
+ + +
+ diff --git a/doc/manual_src/galois-github-before-body.txt b/doc/manual_src/galois-github-before-body.txt new file mode 100644 index 0000000..ec0ae37 --- /dev/null +++ b/doc/manual_src/galois-github-before-body.txt @@ -0,0 +1,21 @@ +
+ + + + + +
+
+ diff --git a/doc/manual_src/galois-github-header.txt b/doc/manual_src/galois-github-header.txt new file mode 100644 index 0000000..2acbc96 --- /dev/null +++ b/doc/manual_src/galois-github-header.txt @@ -0,0 +1,24 @@ + + diff --git a/doc/manual_src/galois-github.css b/doc/manual_src/galois-github.css new file mode 100644 index 0000000..38e909a --- /dev/null +++ b/doc/manual_src/galois-github.css @@ -0,0 +1,179 @@ + +#siteTitle, #pageFooterWrapper, #pageBodyWrapper { clear: both; } +#canvasWrapper, #content { overflow: hidden; } +#bannerWrapper { line-height: 0; } + +body { + background-color: transparent; + color: black; + display: block; + float: right; + font-family: 'Lucida Sans Unicode', 'Lucida Grande', Tahoma, sans-serif; + font-size: 18px; + height: 100%; + width: 100%; + font-weight: normal; + margin-top: auto; + margin-bottom: auto; + margin-left: auto; + margin-right: auto; +} +h1 { + font-size: 36px; +} +h2 { + font-size: 28px; +} +h1 .small { + font-size: 0.4em; +} +h1 a { + text-decoration: none +} +h1, h2, h3, h4, h5, h6 { + color: #4D7FAA; + line-height: 1.25em; + font-weight: 500 !important; + margin-top: 0.5em; + margin-bottom: 0.25em; + margin-right: 0px; + margin-left: 0px; +} +a { + color: #385D7C !important; +} +a:link, a:visited, a:active { + color: #D73F27; +} +#canvasWrapper { + width: 100% !important; + padding-top: 0px !important; + padding-right: 0px !important; + padding-bottom: 0px !important; + padding-left: 0px !important; + background-color: white; +} +#canvas { + width: 100%; +} +#siteTitle { + display: block; + width: 200px; + height: 51px; + background: url('css-images/galois_logo.png') no-repeat 0px 0px; + text-indent: -9999em; + margin-bottom: 1em; + cursor: pointer; +} +#pageHeaderWrapper { + background: #A0BFD3; + padding-bottom: 2.75em; + padding-left: 0px; + padding-right: 0px; + padding-top: 0px; +} +#pageHeader { + width: 980px; + margin: 0 auto; + line-height: 24px; + padding: 1px 0 25px !important; +} +#pageBodyWrapper { + margin-top: -2.5em; + margin-right: auto; + margin-bottom: -3em; + margin-left: auto; + background: transparent url('css-images/pageWrapperBottom.png') no-repeat center bottom; + position: relative; + z-index: 100; +} +#pageBody { + padding-top: 20px; + padding-right: 10px; + padding-bottom: 20px; + padding-left: 10px; + width: 960px; + padding:20px 10px; + margin:0 auto 0; + background: transparent url('css-images/pageWrapperTop.png') no-repeat center top; + position: relative; +} +#pageFooterWrapper { + background-color: #A0BFD3; + width: 100%; +} +#pageFooter { + color: white; + font-size: 13px; + margin: 10px auto 0px; + padding: 60px; + width: 960px; + text-align: right; + background: url('css-images/galois_logo.png') no-repeat left center; + background-origin: content-box; + cursor: pointer; +} +#forkme { + position: absolute; + top: 0; + right: 0; + border: 0; +} +pre { + background: #FFFFCC; + color: black; + margin-left: 5%; + margin-right: 5%; + padding-bottom: 15px; + padding-left: 15px; + padding-right: 15px; + padding-top: 15px; +} +.description { + font-size: 1.2em; + margin-bottom: 30px; + margin-top: 30px; + font-style: italic; +} +.download { + float: right; + padding-right: 1.5em; +} +hr { + border: 0; + width: 80%; + border-bottom: 1px solid #AAAAAA; +} +#contentWrapper { + margin-top: 0px; + margin-right: 0px; + margin-bottom: 0px; + margin-left: 2em; +} +#content { + padding-bottom: 2em; +} +li { + margin-top: .4em; + margin-bottom: .4em; +} +img { + border: 0px; +} +#content .callout.yellow { + border-color: #BC9826; + background-color: #FDD280; + text-align: center; + font-style: italic; + font-size: 16px; + +} +#content .callout { + border-top: 3px solid #F7BE56; + border-bottom: 3px solid #F7BE56; + padding: 1.75em 1em 1.5em; + margin-top: 1.5em; + margin-bottom: 1.5em; + background-color: #EFEFEF; + border-color: #F7BE56; +} -- cgit v1.2.3