diff --git a/Makefile b/Makefile index a9085c1..eca950a 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ clean: build: mkdir build -build/%.html: src/%.md +build/%.html: src/%.md src/footer.html cp src/footer.html build/tmp_footer.html CHANGE_HASH=$$(git log -1 --pretty=format:"%h" -- $<); \ if [ "$$CHANGE_HASH" = "" ]; then \ diff --git a/src/footer.html b/src/footer.html index 1bc4e5f..7be309b 100644 --- a/src/footer.html +++ b/src/footer.html @@ -1,3 +1,4 @@ +<br> <div class="version"> File change revision: !git-commit-hash! - <a href="https://github.com/openjdk/guide/commits/master/!source-file-name!">Revision history</a> </div> \ No newline at end of file diff --git a/src/guidestyle.css b/src/guidestyle.css index 07e6244..c486f8d 100644 --- a/src/guidestyle.css +++ b/src/guidestyle.css @@ -8,6 +8,17 @@ td.aligned { padding-right: 1em; } +h1 { + border-style: none none solid none; + border-color: #437291; + border-width: 2px; + background: #f4f8ff; +} + +p ~ h1 { + margin-top: 1em; +} + /* Spacing between consecutive code blocks */ pre ~ pre { margin-top: 1em;