2
0
mirror of https://github.com/boostorg/redis.git synced 2026-01-19 04:42:09 +00:00

Improvements in the docs.

This commit is contained in:
Marcelo Zimbres
2022-01-29 19:31:07 +01:00
parent 5ddffce4ee
commit 4fe47eb245
21 changed files with 154 additions and 165 deletions

View File

@@ -44,7 +44,7 @@ PROJECT_NUMBER = 1.0.0
# for a project that appears at the top of each page and should give viewer a
# quick idea about the purpose of the project. Keep the description short.
PROJECT_BRIEF = "Redis client library"
PROJECT_BRIEF = "A low level Redis client library"
# With the PROJECT_LOGO tag one can specify a logo or an icon that is included
# in the documentation. The maximum height of the logo should not exceed 55

View File

@@ -24,7 +24,9 @@ div.contents {
padding: 15px;
}
/*
code
{
background-color:#EFD25E;
}
*/