diff options
author | Andrei Korzhyts <32881283+andreikorzhyts@users.noreply.github.com> | 2020-04-03 19:07:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-03 09:07:25 -0700 |
commit | b4563a6ada5c0392efb8a395a284da1f0c0d254c (patch) | |
tree | 2644a1a248c5895b108fe7c2db6cb8f114f0f3a1 /tools | |
parent | 377832b271ae829cd68bda15f0639dbaa57c2b5a (diff) |
Consistency of color code syntax. (#641)
Diffstat (limited to 'tools')
-rw-r--r-- | tools/template.html | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/tools/template.html b/tools/template.html index ac8b801..f228f12 100644 --- a/tools/template.html +++ b/tools/template.html @@ -9,7 +9,7 @@ body { font-family: Helvetica, arial, freesans, clean, sans-serif; max-width: 48em; margin: auto; color: #333333; - background-color: #fff; + background-color: #ffffff; font-size: 13pt; } div#TOC ul { list-style: none; } @@ -25,7 +25,7 @@ span.space:after { position: absolute; /* create a mark that indicates a space (trick from D. Greenspan) */ top: 0; bottom: 7px; left: 1px; right: 1px; - color: #AAA; + color: #aaaaaa; } div.example { overflow: hidden; } p { text-align: justify; } @@ -37,15 +37,15 @@ pre { white-space: -o-pre-wrap; /* Opera 7 */ word-wrap: break-word; /* Internet Explorer 5.5+ */ } -code { font-family: monospace; background-color: #D3E1E4; } +code { font-family: monospace; background-color: #d3e1e4; } pre > code { background-color: transparent; } .example { font-size: 0; /* hack to get width: 50% to work on inline-block */ padding-bottom: 6pt; } .column pre { font-size: 11pt; padding: 2pt 6pt; } div.examplenum { font-size: 11pt; text-align: left; margin-bottom: 10px; } div.column { display: inline-block; width: 50%; vertical-align: top; } -div.example > div:nth-child(2) { clear:left; background-color: #D3E1E4; } -div.example > div:nth-child(3) { clear:right; background-color: #C9CaCE; } +div.example > div:nth-child(2) { clear:left; background-color: #d3e1e4; } +div.example > div:nth-child(3) { clear:right; background-color: #c9cace; } #watermark { position: fixed; bottom: 0; @@ -63,12 +63,12 @@ a.dingus { cursor: pointer; line-height: 30px; padding: 4px 7px; - color: #FFF; - background-color: #33C3F0; + color: #ffffff; + background-color: #33c3f0; box-shadow: 2px 2px 2px rgba(0, 0, 0, .2); - border-color: #4FCAEF; - border-bottom: 2px #2A9EC1 solid; - border-right: 2px #2A9EC1 solid; + border-color: #4fcaef; + border-bottom: 2px #2a9ec1 solid; + border-right: 2px #2a9ec1 solid; } a.footnoteRef > sup:before { content: "["; |