diff options
Diffstat (limited to 'doc/docs.css')
| -rw-r--r-- | doc/docs.css | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/doc/docs.css b/doc/docs.css index 72cf4d6a8..21972a034 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -193,11 +193,27 @@ h3 { } #docs a.codepoplink:hover { text-decoration: none; - color:#fff; - border:1px solid #900; + color:#fff; + border:1px solid #900; background-color: #900; } +.versionheader { + margin-top: 0.5em; +} +.versionnum { + font-weight: bold; +} +.prerelease { + border: solid #c25757 2px; + border-radius: 4px; + -moz-border-radius: 4px; + -webkit-border-radius: 4px; + background-color: #c21a1a; + color: white; + padding: 0.05em 0.2em; +} + @media print { #nav { display: none; } #pagecontrol { display: none; } |