diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/dev-manual/style.css | 2 |
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; |
