diff options
| -rw-r--r-- | doc/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css index 3ac55da7a..fcbc0b3bd 100644 --- a/doc/style.css +++ b/doc/style.css @@ -43,7 +43,7 @@ h2 { pre{ font-size: 9pt; - background-color: #fafaff; + background-color: #f8f8ff; margin: 1em 0 0 0; padding: .99em; line-height: 125%; |