From 8095948b09c227f6f7fef84db11a7aafea315be6 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 15:00:38 +0100 Subject: [PATCH 1/8] Add custom style sheet for doxygen html output --- src/cbmc_style.css | 0 src/doxyfile | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 src/cbmc_style.css diff --git a/src/cbmc_style.css b/src/cbmc_style.css new file mode 100644 index 00000000000..e69de29bb2d diff --git a/src/doxyfile b/src/doxyfile index 13deebd5e46..7b9893cfb2c 100644 --- a/src/doxyfile +++ b/src/doxyfile @@ -1133,7 +1133,7 @@ HTML_STYLESHEET = # list). For an example see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_STYLESHEET = +HTML_EXTRA_STYLESHEET = cbmc_style.css # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or # other source files which should be copied to the HTML output directory. Note From af6efcbcd44d9a8212bcf3099020108001f1e48b Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 15:10:09 +0100 Subject: [PATCH 2/8] Make inline code more distinctive --- src/cbmc_style.css | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/cbmc_style.css b/src/cbmc_style.css index e69de29bb2d..308907dd778 100644 --- a/src/cbmc_style.css +++ b/src/cbmc_style.css @@ -0,0 +1,11 @@ +code { + color: red; + background-color: WhiteSmoke; + border-style: solid; + border-width: 1px; + border-color: LightGrey; + padding-top: 1px; + padding-bottom: 1px; + padding-left: 4px; + padding-right: 4px; +} From dc686bc33829327eb780fa16d48163f769ce3924 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 17:06:41 +0100 Subject: [PATCH 3/8] Reduce heading sizes --- src/cbmc_style.css | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/src/cbmc_style.css b/src/cbmc_style.css index 308907dd778..ce9d8507cab 100644 --- a/src/cbmc_style.css +++ b/src/cbmc_style.css @@ -9,3 +9,18 @@ code { padding-left: 4px; padding-right: 4px; } + +h1 { + font-size: 1.3em; + margin: 0.9em 0; +} + +h2 { + font-size: 1.2em; + margin: 0.6em 0; +} + +h3 { + font-size: 1.1em; + margin: 0.3em 0; +} From 4b827eba9dfa990510783dbd6e4b730a7c1ae450 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 17:10:46 +0100 Subject: [PATCH 4/8] Set link colours to mustard initially and purple for visited --- src/cbmc_style.css | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/cbmc_style.css b/src/cbmc_style.css index ce9d8507cab..d03509f59ff 100644 --- a/src/cbmc_style.css +++ b/src/cbmc_style.css @@ -24,3 +24,12 @@ h3 { font-size: 1.1em; margin: 0.3em 0; } + + +a { + color: #CA7900; +} + +.contents a:visited { + color: #6237a8; +} From 64dd1af3c5be3a38c597ec91d20e86fc7bff316e Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 17:12:47 +0100 Subject: [PATCH 5/8] Set style of left hand navigation tree Makes the font bigger and bolder, blue and reduces spacing. --- src/cbmc_style.css | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/src/cbmc_style.css b/src/cbmc_style.css index d03509f59ff..8eecb29d720 100644 --- a/src/cbmc_style.css +++ b/src/cbmc_style.css @@ -33,3 +33,21 @@ a { .contents a:visited { color: #6237a8; } + +#nav-tree .label { + font-weight: bold; + font-size: 1.1em; +} + +#nav-tree a { + color: MidnightBlue; +} + +#nav-tree .selected a { + padding: 0.5em; +} + +#nav-tree .item { + font-size: 1.1em; + padding: 0.2em; +} From 284137af71a8050a301a297f9f19c3f58d3d4e6f Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 18:24:21 +0100 Subject: [PATCH 6/8] Add extra spacing to code blocks --- src/cbmc_style.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/cbmc_style.css b/src/cbmc_style.css index 8eecb29d720..e2879370eb2 100644 --- a/src/cbmc_style.css +++ b/src/cbmc_style.css @@ -25,6 +25,11 @@ h3 { margin: 0.3em 0; } +pre.fragment, div.fragment { + padding: 5px; + margin-left: 10px; +} + a { color: #CA7900; From db7c127ad2ca0e2084b0196f754f526038e0af89 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 21 Aug 2018 18:35:00 +0100 Subject: [PATCH 7/8] Combine padding specifiers --- src/cbmc_style.css | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/cbmc_style.css b/src/cbmc_style.css index e2879370eb2..60519c7c38e 100644 --- a/src/cbmc_style.css +++ b/src/cbmc_style.css @@ -4,10 +4,7 @@ code { border-style: solid; border-width: 1px; border-color: LightGrey; - padding-top: 1px; - padding-bottom: 1px; - padding-left: 4px; - padding-right: 4px; + padding: 1px 4px; } h1 { From 0b9b01a94eb316fda8a3a2c00e8ba3bcd7f3e6a0 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Mon, 27 Aug 2018 10:17:33 +0100 Subject: [PATCH 8/8] Move `.css` file into `doc` directory --- {src => doc/assets}/cbmc_style.css | 0 src/doxyfile | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename {src => doc/assets}/cbmc_style.css (100%) diff --git a/src/cbmc_style.css b/doc/assets/cbmc_style.css similarity index 100% rename from src/cbmc_style.css rename to doc/assets/cbmc_style.css diff --git a/src/doxyfile b/src/doxyfile index 7b9893cfb2c..d405b220585 100644 --- a/src/doxyfile +++ b/src/doxyfile @@ -1133,7 +1133,7 @@ HTML_STYLESHEET = # list). For an example see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_STYLESHEET = cbmc_style.css +HTML_EXTRA_STYLESHEET = ../doc/assets/cbmc_style.css # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or # other source files which should be copied to the HTML output directory. Note