.gitgnore, fix indent (no spaces, etc...)

This commit is contained in:
2024-01-12 11:42:24 +01:00
parent d81a7aa2a8
commit caa802c98a
7 changed files with 679 additions and 678 deletions

View File

@@ -1,21 +1,21 @@
BODY {
font-family: "Verdana,Arial,sans-serif";
font-size: 10pt;
BODY {
font-family: "Verdana,Arial,sans-serif";
font-size: 10pt;
}
PRE.LIST {
background: #CFD9FF;
border: 1ex solid #AAAAE6;
padding: 1ex;
background: #CFD9FF;
border: 1ex solid #AAAAE6;
padding: 1ex;
}
PRE.SNIP {
background: #CFD9FF;
padding: 1ex;
background: #CFD9FF;
padding: 1ex;
}
PRE.CONSOLE {
color: #CCCCCC;
background: #000000;
font-family: "Courier New,Courier";
padding: 1ex;
color: #CCCCCC;
background: #000000;
font-family: "Courier New,Courier";
padding: 1ex;
}