.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 11:15:39 Dec 30, 2020 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 22:49:59 Apr 15, 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)).
*/