Konwersja HTML do XML przed zapisaniem XML na serwer.
[redakcja.git] / platforma / static / css / managment.css
1 table.request-report 
2 {
3     border: 2px groove black;
4     font-size: 12pt;
5
6     margin-top: 3em;
7     margin-bottom: 2em;
8     margin-left: auto;
9     margin-right: auto;
10 }
11
12 .pull-request {
13     padding: 20px 20px 10px 20px;
14     border-bottom: 1px dotted #CCC;
15 }
16
17 .pull-request h2 {
18     padding: 0;
19     margin: 0;
20     font-size: 22px;
21 }
22
23 .pull-request .request-info {
24     color: #999;
25     list-style: none;
26     margin: 0;
27     padding: 0;
28 }
29
30 .pull-request .request-info li {
31     float: left;
32     padding-right: 20px;
33 }
34
35 .pull-request p.comment {
36     clear: left;
37     padding: 20px 0;
38 }
39
40 .pull-request p {
41     margin: 0;
42     padding: 0;
43 }
44
45 .awesome.button {
46     margin-right: 10px;
47 }
48
49 .pull-request.status-N {
50     background-color: #FFF;
51 }
52
53 .pull-request.status-R {
54     background-color: red;
55 }
56
57 .pull-request.status-A {
58     background-color: #DDD;
59 }
60
61 .pull-request .diff {
62     white-space: pre;
63     height: 360px;
64     width: 960px;
65     overflow: auto;
66     border: 1px solid #CCC;
67     margin-top: 10px;
68     background-color: #F9F9F9;
69     padding: 2px;
70 }