| 
									
										
										
										
											2011-01-09 17:58:52 +00:00
										 |  |  | body { | 
					
						
							|  |  |  |     font-family: sans-serif; | 
					
						
							|  |  |  |     background: white; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2011-01-10 15:17:38 +00:00
										 |  |  | h1 | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     color: #005aa0; | 
					
						
							|  |  |  |     font-size: 180%; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | a { | 
					
						
							|  |  |  |     text-decoration: none; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2011-01-09 17:58:52 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | ul.nesting, ul.toplevel { | 
					
						
							|  |  |  |     padding: 0; | 
					
						
							|  |  |  |     margin: 0; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ul.toplevel { | 
					
						
							|  |  |  |     list-style-type: none; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .line, .head { | 
					
						
							|  |  |  |     padding-top: 0em; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ul.nesting li.line, ul.nesting li.lastline { | 
					
						
							|  |  |  |     position: relative; | 
					
						
							|  |  |  |     list-style-type: none; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ul.nesting li.line { | 
					
						
							|  |  |  |     padding-left: 2.0em; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ul.nesting li.lastline { | 
					
						
							|  |  |  |     padding-left: 2.1em; /* for the 0.1em border-left in .lastline > .lineconn */ | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | li.line { | 
					
						
							|  |  |  |     border-left: 0.1em solid #6185a0; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | li.line > span.lineconn, li.lastline > span.lineconn { | 
					
						
							|  |  |  |     position: absolute; | 
					
						
							|  |  |  |     height: 0.65em; | 
					
						
							|  |  |  |     left: 0em; | 
					
						
							|  |  |  |     width: 1.5em; | 
					
						
							|  |  |  |     border-bottom: 0.1em solid #6185a0; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | li.lastline > span.lineconn { | 
					
						
							|  |  |  |     border-left: 0.1em solid #6185a0; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | em.storeref { | 
					
						
							|  |  |  |     color: #500000; | 
					
						
							|  |  |  |     position: relative;  | 
					
						
							|  |  |  |     width: 100%; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | em.storeref:hover { | 
					
						
							|  |  |  |     background-color: #eeeeee; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | *.popup { | 
					
						
							|  |  |  |     display: none; | 
					
						
							|  |  |  | /*    background: url('http://losser.st-lab.cs.uu.nl/~mbravenb/menuback.png') repeat; */ | 
					
						
							|  |  |  |     background: #ffffcd; | 
					
						
							|  |  |  |     border: solid #555555 1px; | 
					
						
							|  |  |  |     position: absolute; | 
					
						
							|  |  |  |     top: 0em; | 
					
						
							|  |  |  |     left: 0em; | 
					
						
							|  |  |  |     margin: 0; | 
					
						
							|  |  |  |     padding: 0; | 
					
						
							|  |  |  |     z-index: 100; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | em.storeref:hover span.popup { | 
					
						
							|  |  |  |     display: inline; | 
					
						
							|  |  |  |     width: 40em; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .logTreeToggle { | 
					
						
							|  |  |  |     text-decoration: none; | 
					
						
							|  |  |  |     font-family: monospace; | 
					
						
							|  |  |  |     font-size: larger; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .errorLine { | 
					
						
							|  |  |  |     color: #ff0000; | 
					
						
							|  |  |  |     font-weight: bold; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .warningLine { | 
					
						
							|  |  |  |     color: darkorange; | 
					
						
							|  |  |  |     font-weight: bold; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .prio3 { | 
					
						
							|  |  |  |     font-style: italic; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | code { | 
					
						
							|  |  |  |     white-space: pre-wrap; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .serial { | 
					
						
							|  |  |  |     color: #56115c; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .machine { | 
					
						
							|  |  |  |     color: #002399; | 
					
						
							|  |  |  |     font-style: italic; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2011-01-10 15:17:38 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | ul.vmScreenshots { | 
					
						
							|  |  |  |     padding-left: 1em; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ul.vmScreenshots li { | 
					
						
							|  |  |  |     font-family: monospace; | 
					
						
							|  |  |  |     list-style: square; | 
					
						
							|  |  |  | } |