diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-09-22 22:06:51 -0500 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-09-22 22:06:51 -0500 |
commit | 6c515197f0792bace16a4b08679ba82f454d53f0 (patch) | |
tree | 5beb938012eadc567d2852e37eb69472c38da685 /devel/pretty.css | |
parent | 5ed47ef7ae6ed64d361e1c8945eacc59923467fc (diff) | |
download | horizon-6c515197f0792bace16a4b08679ba82f454d53f0.tar.gz horizon-6c515197f0792bace16a4b08679ba82f454d53f0.tar.bz2 horizon-6c515197f0792bace16a4b08679ba82f454d53f0.tar.xz horizon-6c515197f0792bace16a4b08679ba82f454d53f0.zip |
Put build system in Git
Diffstat (limited to 'devel/pretty.css')
-rw-r--r-- | devel/pretty.css | 100 |
1 files changed, 100 insertions, 0 deletions
diff --git a/devel/pretty.css b/devel/pretty.css new file mode 100644 index 0000000..a39b2c6 --- /dev/null +++ b/devel/pretty.css @@ -0,0 +1,100 @@ +@import url("https://static.adelielinux.org/font/font-amal.css"); + +html { + background: #eee; +} + +body { + background: white; + box-shadow: 2px 2px 10px 2px rgba(0,0,0,.2); + font-family: 'Frank Ruhl Libre', Times, serif; + padding: 1em; +} + +@media screen and (min-width: 1280px) { + body { margin: 0 18%; } +} + +h1,h2,h3,h4,h5,h6, +div.navheader,div.navfooter, +div.toc,div.list-of-tables,div.list-of-examples { + font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif; +} + +div.othercredit { + font-size: smaller; +} + +span.permalink { + font-size: smaller; + margin-left: 0.5em; +} + +span.permalink>a { + color: #444; + text-decoration: none; +} + +h2 { + margin-top: 3em; + margin-bottom: 0.2em; +} + +h3 { + margin-top: 2.5em; + margin-bottom: 0.2em; +} + +h4 { + margin-top: 2em; + margin-bottom: 0.2em; +} + +h5 { + margin-top: 1.5em; + margin-bottom: 0.2em; +} + +.command { + font-family: 'Liberation Mono',monospace; + font-size: 14px; +} + +/* normalise size with command */ +p>code { + font-size: 14px; +} + +.userinput { + font-style: italic; +} + +code.prompt { + color: green; +} + +em.parameter { + font-style: normal; +} + +div.authorgroup { + padding-bottom: 2em; +} + +div.authorgroup h3 { + margin-top: 0.5em; +} + +h3.author { font-size: 1.1em; margin-bottom: 0; } + +div.section { + margin-top: -0.5em; +} + +div.section div.titlepage { + margin-left: 0.5em; +} + +div.section > * { + margin-left: 1.5em; +} |