diff options
| -rw-r--r-- | html/nhaddock.css | 46 |
1 files changed, 45 insertions, 1 deletions
diff --git a/html/nhaddock.css b/html/nhaddock.css index 721e1d9f..ba9fcea6 100644 --- a/html/nhaddock.css +++ b/html/nhaddock.css @@ -240,7 +240,51 @@ div#style-menu-holder { } #synopsis { - display: none; + position: fixed; + right: -21.5em; + font-size: 90%; + width: 22em; + height: 80%; + top: 5em; + padding: 0; + background-color: #fcfcb0; +} + +#synopsis:hover { + right: 0; + background: none; +} + +#synopsis .caption, +#synopsis ul, +#synopsis ul li.src { + background-color: #fcfcb0; + white-space: nowrap; +} + +#synopsis > * { + margin: 0 0 0 8px; + border-left: 1px solid rgb(196,69,29); +} + +#synopsis .caption { + border-top: 1px solid rgb(196,69,29); + padding-top: 0.5em; + padding-bottom: 0.5em; + text-align: center; +} + +#synopsis ul { + list-style: none; + height: 100%; + overflow: auto; + border-bottom: 1px solid rgb(196,69,29); + padding-left: 0.5em; +} + +#synopsis ul ul { + border: none; + overflow: hidden; } /* @end */ |