templates/static/style-paper.css
changeset 8509 5cd232ebc317
parent 8508 8c5e32a4f2f9
child 8713 de6bb29e208a
equal deleted inserted replaced
8508:8c5e32a4f2f9 8509:5cd232ebc317
    52 
    52 
    53 .menu li.active {
    53 .menu li.active {
    54   font-weight: bold;
    54   font-weight: bold;
    55 }
    55 }
    56 
    56 
    57 .menu img { 
    57 .menu img {
    58   width: 75px;
    58   width: 75px;
    59   height: 90px;
    59   height: 90px;
    60   border: 0;
    60   border: 0;
    61 }
    61 }
    62 
    62 
   223 	z-index: 5;
   223 	z-index: 5;
   224 	top: -0.7em;
   224 	top: -0.7em;
   225 	margin: 0;
   225 	margin: 0;
   226 }
   226 }
   227 
   227 
   228 ul#nodebgs {
       
   229 	list-style: none inside none;
       
   230 	padding: 0;
       
   231 	margin: 0;
       
   232 	top: -0.7em;
       
   233 }
       
   234 
       
   235 ul#graphnodes li, ul#nodebgs li {
       
   236 	height: 39px;
       
   237 }
       
   238 
       
   239 ul#graphnodes {
   228 ul#graphnodes {
   240 	position: absolute;
   229 	position: absolute;
   241 	z-index: 10;
   230 	z-index: 10;
   242 	top: -1.0em;
   231 	top: -1.0em;
   243 	list-style: none inside none;
   232 	list-style: none inside none;
   244 	padding: 0;
   233 	padding: 0;
   245 }
   234 }
   246 
   235 
       
   236 ul#nodebgs {
       
   237 	list-style: none inside none;
       
   238 	padding: 0;
       
   239 	margin: 0;
       
   240 	top: -0.7em;
       
   241 }
       
   242 
       
   243 ul#graphnodes li, ul#nodebgs li {
       
   244 	height: 39px;
       
   245 }
       
   246 
   247 ul#graphnodes li .info {
   247 ul#graphnodes li .info {
   248 	display: block;
   248 	display: block;
   249 	font-size: 70%;
   249 	font-size: 70%;
   250 	position: relative;
   250 	position: relative;
   251 	top: -3px;
   251 	top: -3px;