equal
deleted
inserted
replaced
37 line-height: 120%; |
37 line-height: 120%; |
38 } |
38 } |
39 |
39 |
40 .theories { background-color: #FFFFFF; padding: 10px; } |
40 .theories { background-color: #FFFFFF; padding: 10px; } |
41 .sessions { background-color: #FFFFFF; padding: 10px; } |
41 .sessions { background-color: #FFFFFF; padding: 10px; } |
42 |
|
43 .sessions pre { margin: 0px; } |
|
44 |
42 |
45 .name { font-style: italic; } |
43 .name { font-style: italic; } |
46 .filename { font-family: fixed; } |
44 .filename { font-family: fixed; } |
47 |
45 |
48 |
46 |