diff options
author | mr <mr@mrautenberg.de> | 2011-10-19 13:11:24 +0200 |
---|---|---|
committer | mr <mr@mrautenberg.de> | 2011-10-19 13:11:24 +0200 |
commit | d89c87e844e81d016ab3ba8a240e03a609a7015e (patch) | |
tree | 6d5323fee132cfdaa492f9844704a9f855ff2635 /views/style.sass | |
parent | 778c58cad1c6a5b81655d731992c64a0efcec592 (diff) | |
parent | f53928a35754c29f7ee912ed5f405731d451f49e (diff) |
Merge branch 'release/v3.0.1'v3.0.1
Diffstat (limited to 'views/style.sass')
-rw-r--r-- | views/style.sass | 64 |
1 files changed, 52 insertions, 12 deletions
diff --git a/views/style.sass b/views/style.sass index c2a74cb..230c13c 100644 --- a/views/style.sass +++ b/views/style.sass @@ -5,6 +5,7 @@ $ot_purple: #5d308a $body_color: white $text_color: black $notice_border: red +$mouseover: #FFFF69 body min-width: 30em @@ -269,14 +270,7 @@ dl float: left .models_navigation - #prev - @extend a - display: inline - cursor: pointer - #next - @extend a - display: inline - cursor: pointer + margin-top: 4px .link @extend a display: inline @@ -287,13 +281,59 @@ dl font-weight: bold .thin font-weight: 100 + .page + border: solid 1px #999 + background-color: #FFF + padding: 0px 3px + font-size: 94% + font-weight: bold + .page_link:hover + border-color: #000 + color: #000 + .page_active + background-color: #ccd2dc + color: #000 + font-weight: bold + border-right-color: #000 + border-bottom-color: #000 + +ul.endpoint + list-style-type: none + margin-left: 0px + padding-left: 0px + +ul.level_2 + display: none +ul.level_3 + display: none +ul.level_4 + display: none .level_1 - padding-left: 10px + margin-left: 0px font-weight: bold .level_2 - padding-left: 20px + margin-left: 20px + font-weight: normal .level_3 - padding-left: 30px + margin-left: 40px + font-weight: normal .level_4 - padding-left: 40px + margin-left: 60px + font-weight: normal + +#endpoint_label + font-weight: bold + margin: 0 10px + +ul.endpoint + label:hover, label:active + background-color: $mouseover + border-bottom: solid #999 1px + border-top: solid #999 1px + +#div_endpoint + display: none + +.ok_button + background-color: $mouseover |