diff options
author | AndrewMurrell <ImFromNASA@gmail.com> | 2017-01-24 22:37:36 -0500 |
---|---|---|
committer | AndrewMurrell <ImFromNASA@gmail.com> | 2017-01-24 22:37:36 -0500 |
commit | 9ce576387ea86232aef9539da0194c11850df820 (patch) | |
tree | bcc269d6af5ea7804611c2374a627b04fc801581 | |
parent | a9df7c05f7d9950038cf8dba14434499ad7c5a6c (diff) | |
parent | a2ef25d6bea13596d4c25e25cbe11e8d85a47219 (diff) |
Merge branch 'master' of ssh://git.andrewdm.me/~git/www
-rwxr-xr-x | bin/pre-generate | 1 | ||||
-rw-r--r-- | src/main.scss | 11 |
2 files changed, 7 insertions, 5 deletions
diff --git a/bin/pre-generate b/bin/pre-generate index ece3385..e5f8f5e 100755 --- a/bin/pre-generate +++ b/bin/pre-generate @@ -28,6 +28,7 @@ if [[ $branch == master ]]; then git checkout pre-generated.tmp git merge --no-edit -s ours pre-generated git checkout pre-generated + git pull git merge pre-generated.tmp git branch -d pre-generated.tmp ) diff --git a/src/main.scss b/src/main.scss index 9fc3ef2..1ce7c8d 100644 --- a/src/main.scss +++ b/src/main.scss @@ -1,6 +1,7 @@ body { margin: 0; padding: 0; + font-family: Baskerville, "Goudy Old Style", "Palatino", "Book Antiqua", "Warnock Pro", serif; } header { @@ -51,7 +52,6 @@ header { a { padding: 0.2em 1em; font-size: 40px; - color: GoldenRod; text-decoration: none; @@ -99,8 +99,9 @@ article { margin: 0 auto; .tag { - font-size: 60%; - font-family: sans-serif; + font-size: 60%; + // this should work! + font-family: Baskerville, "Goudy Old Style", "Palatino", "Book Antiqua", "Warnock Pro", serif; color: white; text-decoration: none; text-align: center; @@ -159,7 +160,7 @@ body.dnd { /* This bit mostly taken from the defaults of org-mode export */ article { - font-family: Times, serif; + font-family: Baskerville, "Goudy Old Style", "Palatino", "Book Antiqua", "Warnock Pro", serif; font-size: 12pt; table { @@ -190,7 +191,7 @@ body.dnd { border: 1pt solid #AEBDCC; background-color: #F3F5F7; padding: 5pt; - font-family: courier, monospace; + //font-family: courier, monospace; font-size: 90%; overflow:auto; } |