/* CSS-Datei des Plugins devtools */
.newdump_tablelist
{
	border: 1px solid #999999;
}


/* ENDE des CSS-Datei des Plugins devtools */

/* CSS-Datei des Plugins Aktivierungs - Plugin */
.aktivierung {}
/* ENDE des CSS-Datei des Plugins Aktivierungs - Plugin */

/* CSS-Datei des Plugins Freie Module */

/* ENDE des CSS-Datei des Plugins Freie Module */