Changes

Jump to navigation Jump to search
No change in size ,  07:41, 29 June 2020
no edit summary
.third { background-color:#DF7F7F; }
.fourth { background-color:#DFDF5F; }
.cmd { font-family:monospace; font-size: 14pt12pt; }
.annot { font-family:sans-serif; margin-top:1cm; }
.large { font-size: 24pt; }

Navigation menu