Mercurial > hg > digilib-old

comparison client/digitallibrary/greyskin/diginew.css @ 523:7be5771b6473

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
popup-menu divs were causing unnecessary scrollbar on body element
author hertzhaft
date Thu, 17 Sep 2009 19:40:17 +0200
parents 688620e8c015
children
comparison
equal deleted inserted replaced
522:688620e8c015 523:7be5771b6473
4 4
5 body { 5 body {
6 background-color: #E0E0E0; 6 background-color: #E0E0E0;
7 color: black; 7 color: black;
8 font-size: 8pt; 8 font-size: 8pt;
9 margin: 8px 0px 0px 8px; 9 margin-left: 8px;
10 padding: 0px; 10 margin-top: 8px;
11 overflow: hidden; 11 padding: 0px;
12 } 12 }
13 13
14 code { 14 code {
15 font-family: monospace; 15 font-family: monospace;
16 color: blue; 16 color: blue;
106 cursor: move; 106 cursor: move;
107 visibility: hidden; 107 visibility: hidden;
108 } 108 }
109 109
110 div#scaler { 110 div#scaler {
111 /* position: absolute; 111 margin-right: 50px;
112 /* position: absolute;
112 left: 8px; 113 left: 8px;
113 top: 8px; 114 top: 8px;
114 bottom: 8px; 115 bottom: 8px;
115 right: 44px; 116 right: 44px;
116 */ /* overflow: auto; */ 117 */ /* overflow: auto; */
121 } 122 }
122 123
123 div#overlay, div#bird-overlay { 124 div#overlay, div#bird-overlay {
124 position: fixed; 125 position: fixed;
125 background-color: transparent; 126 background-color: transparent;
126 border: 1px solid lightgrey; 127 border: none;
127 z-index: 100; 128 z-index: 100;
128 visibility: hidden; 129 visibility: hidden;
129 /* box-sizing: border-box; 130 /* box-sizing: border-box;
130 -moz-box-sizing: border-box; */ 131 -moz-box-sizing: border-box; */
131 } 132 }
171 } 172 }
172 173
173 div#calibration { 174 div#calibration {
174 background: url('blue.png'); 175 background: url('blue.png');
175 position: absolute; 176 position: absolute;
177 top: 0px;
176 width: 400px; 178 width: 400px;
177 padding: 0px; 179 padding: 0px;
178 visibility: hidden; 180 visibility: hidden;
179 z-index: 1000; 181 z-index: 1000;
180 } 182 }
196 font-weight: bold; 198 font-weight: bold;
197 } 199 }
198 200
199 div.popup-menu { 201 div.popup-menu {
200 position: absolute; 202 position: absolute;
203 top: 0px;
201 padding: 0px 2px; 204 padding: 0px 2px;
202 font-family: Verdana, Arial, Helvetica, sans-serif; 205 font-family: Verdana, Arial, Helvetica, sans-serif;
203 border: 2px solid lightcyan; 206 border: 2px solid lightcyan;
204 background-color: lightgrey; 207 background-color: lightgrey;
205 text-align: center; 208 text-align: center;