Changes

Jump to navigation Jump to search
No change in size ,  07:22, 29 June 2020
no edit summary
*/
.first { background-color:#7FBFBF7FDFDF; } .second { background-color:#7FBF7F7FDF7F; } .third { background-color:#BF7F7FDF7F7F; } .fourth { background-color:#BFBF3FDFDF3F; }
.cmd { font-family:monospace; }
.annot { font-family:sans-serif; margin-top:1cm; }

Navigation menu