#editcontent {
width: 100%;
-}
+}
/* Stuff for the RecentChanges table. */
tr.changeheader {
th.changeheader {
padding: 1px .3em;
}
-td.changeinfo {
+td.changeinfo {
padding: 1px .3em;
}
td.changetime {
width: 25%
}
-/* outlines */
+/* outlines */
li.L1 {
list-style: upper-roman;
}