1
0
Fork 0

Added styling for node navigation in webdoc-generated manual

website
Mike Gerwitz 2012-05-08 22:20:41 -04:00
parent cea3ca0f26
commit 434b40ad10
No known key found for this signature in database
GPG Key ID: F22BB8158EE30EAB
1 changed files with 15 additions and 0 deletions

View File

@ -371,6 +371,21 @@ a.top {
float: right;
}
div.node {
background-color: rgba( 220, 220, 220, 0.15 );
border-bottom: 1px solid #babdb6;
margin: -0.5em -1em 1em -1em; /* negate #content padding */
padding: 1em;
}
div.node p {
margin: 0;
padding: 0;
}
div.node hr {
display: none;
}
/*
github.com style (c) Vasily Polovnyov <vast@whiteants.net>