body { font-family: sans-serif} 
.notice { margin: 2em 3em; 
	border: 1px solid #cccccc;
	padding: .5em;
	 }
table.header { 
	width: 100%; 
	border: 1px solid #cccccc; 
	text-align: center;
	margin-bottom: 10px;
	 } 
table.header a img { border: none } 
table.header td { font-size: 25px }

#company_menu { float: right; }
.jump_to_top { padding-top: .3em; padding-right: 1em;  font-size: 50%; float: right; vertical-align: top; display: inline;}
h2.filelist { border: 1px solid black; margin-left: 5px; width: 100%; background-color: #aaaaff; padding: 3px } 
h3.filelist, p.filelist{ margin-left: 15px } 

table.filelist th, table.filelist td { font-size: 90% }
table.filelist { margin-left: 25px; padding-right: 5px; border: 1px solid black }
table.filelist th { background-color: #cccccc; text-align: left}
table.filelist th.flist_desc { background-color: #eeeeee; }
table.filelist td.integer { text-align: center } 
table.divided_cell td { border: 1px solid black; background-color: #cccccc }
table.divided_cell td, table.divided_cell th { margin: 25px }