diff --git a/doc/assets/cbmc_style.css b/doc/assets/cbmc_style.css
new file mode 100644
index 00000000000..60519c7c38e
--- /dev/null
+++ b/doc/assets/cbmc_style.css
@@ -0,0 +1,55 @@
+code {
+	color: red;
+	background-color: WhiteSmoke;
+	border-style: solid;
+	border-width: 1px;
+	border-color: LightGrey;
+	padding: 1px 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;
+}
+
+pre.fragment, div.fragment {
+	padding: 5px;
+	margin-left: 10px;
+}
+
+
+a {
+	color: #CA7900;
+}
+
+.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;
+}
diff --git a/src/doxyfile b/src/doxyfile
index 13deebd5e46..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  =
+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