1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

doc: fix spacing in parameter description

Fixes #6953
This commit is contained in:
Martine Lenders 2017-04-24 13:21:44 +02:00
parent cd808a591c
commit c00a89fd9e
No known key found for this signature in database
GPG Key ID: 8E97A9FE55F25D62
2 changed files with 8 additions and 0 deletions

View File

@ -488,6 +488,10 @@ dl.todo > dt {
}
.params .paramdir {
font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
padding-right: 0.5em;
}
.params .paramname {
padding-right: 2em;
}
.icon {
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;

View File

@ -434,6 +434,10 @@ dl.todo > dt {
}
.params .paramdir {
font-family: @font-family-monospace;
padding-right: 0.5em;
}
.params .paramname {
padding-right: 2em;
}
.icon {
font-family: @font-family-base;