Home | History | Annotate | Download | only in insight 
      1 p, li, td, th, h1, h2, h3 {
      2 	line-height: 1.6;
      3 }
      4 
      5 #control {
      6 	background-color: #eefaff;
      7 	border: 1px solid #3399ff;
      8 	border-collapse: collapse;
      9 	margin: 0px 0px 20px 0px;
     10 	width: 100%;
     11 }
     12 
     13 #control td {
     14 	padding: 3px;
     15 }
     16 
     17 #control_menu:link {
     18 	display: block;
     19 	width: 5em;
     20 	height: 20pt;
     21 	text-align: center;
     22 	line-height: 20pt;
     23 	color: #ffffff;
     24 	background-color: #3399ff;
     25 	position: fixed;
     26 	top: 0px;
     27 	right: 0px;
     28 }
     29 
     30 #control_menu:visited {
     31 	color: #ffffff;
     32 }
     33 
     34 #control_menu:hover {
     35 	color: #ffffff;
     36 	background-color: #0000ff;
     37 }
     38 
     39 .menu {
     40 	list-style-type: none;
     41 	margin: 0px;
     42 	padding: 0px;
     43 }
     44 
     45 .menu li {
     46 	display: inline;
     47 	padding: 0px 1em 0px 0px;
     48 }
     49 
     50 a:link {
     51 	color: #2244ff;
     52 	text-decoration: none;
     53 	font-family: monospace;
     54 }
     55 
     56 a:visited {
     57 	color: #2244ff;
     58 	text-decoration: none;
     59 }
     60 
     61 a:hover {
     62 	color: #ff3322;
     63 	text-decoration: underline;
     64 }
     65 
     66 a:active {
     67 	color: #ff3322;
     68 	text-decoration: underline;
     69 }
     70 
     71 #module_table {
     72 	border-collapse: collapse;
     73 	width: 100%;
     74 }
     75 
     76 #module_tbody td,
     77 #module_tbody th {
     78 	border: 1px solid #dddddd;
     79 	padding: 3px 20px;
     80 	vertical-align: top;
     81 }
     82 
     83 #module_tbody th {
     84 	background-color: #eeeeee;
     85 }
     86 
     87 #module_tbody h1,
     88 #module_tbody h2,
     89 #module_tbody p {
     90 	font-size: 100%;
     91 	margin: 0px;
     92 	padding: 0px;
     93 }
     94 
     95 #module_tbody ol,
     96 #module_tbody ul {
     97 	margin: .3em 0px;
     98 	padding: 0px 0px 0px 2em;
     99 }
    100 
    101 #module_tbody tr:target {
    102 	background-color: #fffff0;
    103 	transition: background-color 800ms ease;
    104 }
    105 
    106 #module_tbody p.module_src_dir {
    107 	font-family: monospace;
    108 	font-size: 80%;
    109 	color: #aaaaaa;
    110 }
    111 
    112 #no_module_placeholder {
    113 	font-style: italic;
    114 	font-family: sans-serif;
    115 	text-align: center;
    116 }
    117