[MIG] document_page: Migration to 13.0

This commit is contained in:
ernesto
2019-11-07 15:26:37 -05:00
committed by FernandoRomera
parent 713f34f9f1
commit 9fa7b5ce88
23 changed files with 108 additions and 150 deletions

View File

@@ -0,0 +1,28 @@
table.diff {
font-family: Courier;
border: medium;
.diff_header {
background-color: #e0e0e0
}
td.diff_header {
text-align: right
}
.diff_next {
background-color:#c0c0c0
}
.diff_add {
background-color:#aaffaa
}
.diff_chg {
background-color:#ffff77
}
.diff_sub {
background-color:#ffaaaa
}
}