.editbutton {
	padding:1px;
	border-width:0px;
}
.editraise {
	border-width:1px;
	background-color:white;
	padding:0px;
}
.editpress{
	border-width:1px;
	background-color:red;
	padding:0px;
}	





/*
     FILE ARCHIVED ON 23:03:35 Jan 5, 2021 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 16:06:05 Apr 16, 2026.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/