@import "undohtml.css";
@import "frieden.css";
@import "general.css";
@import "mini.css";
@import "prog.css";

/*@import url("undohtml.css");
@import url("frieden.css");
@import url("general.css");
@import url("mini.css");
@import url("prog.css");*/