summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/dev-manual/style.css')
-rw-r--r--documentation/dev-manual/style.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 33a01d125a..65b83e2220 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -122,7 +122,7 @@ h6 {
122 background-color: transparent; 122 background-color: transparent;
123 background-repeat: no-repeat; 123 background-repeat: no-repeat;
124 padding-top: 256px; 124 padding-top: 256px;
125 background-image: url("figures/kernel-title.png"); 125 background-image: url("figures/dev-title.png");
126 background-position: left top; 126 background-position: left top;
127 margin-top: -256px; 127 margin-top: -256px;
128 padding-right: 50px; 128 padding-right: 50px;