a.btn {
	font-weight:bold;
	text-decoration: none;
	padding:0.33em 1em;
	border-width:1px; 
	border-style:outset;
/*
	border-radius:4px;
	-moz-border-radius:4px;
	-webkit-border-radius:4px;
*/
}
	
a.ok, a.new, a.ok:hover, a.new:hover {
	color:white;
	border-color:#093;
	background-color:#093; }
a.new {
	 }
a.small {
	font-size:75%;
	margin:2px;
	padding:1px 5px; }
a.mod, a.mod:hover {
	color:white;
	border-color:#e92; 
	background-color:#e92; }
a.del, a.del:hover {
	color:white;
	border-color:#c00; 
	background-color:#c00; }