del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
body {
    font-family:        sans-serif;
}
 
.programlisting {
    font-family:        monospace;
    font-size:        1em;
    display:        block;
    padding:        10px;
    border:            1px solid #aaa;
    color:            #000;
    background-color:    #eee;
    overflow:        auto;
    margin:            1em 0em;
    border-radius:        6px;
}