4 top: 30px; /* 0 for no toolbar, 30 for toolbar */
24 #changes-list div:hover {
25 background-color: #f0f0f0;
28 #changes-list div.selected {
29 background-color: #ffec63;
32 #changes-list span.tag {
33 display: inline-block;
43 vertical-align: middle;
44 -moz-border-radius: 10px;
45 -webkit-border-radius: 10px;
49 #changes-list div:hover span.tag {
53 #changes-list span.tag:hover {
57 #changes-list span[data-version-tag] {
59 border: 1px solid black;
64 #changes-list span[data-stub-value='version'] {
68 #changes-list span[data-stub-value='date'],
69 #changes-list span[data-stub-value='author']
80 #history-view .diff_table {
93 border-width: 0px 1px 1px 0px;
99 font-family: monospace;
101 white-space:pre-line;
102 /*word-wrap:break-word;
103 word-break:break-all; */
107 border-width: 0px 1px 1px 0px;
113 /* .diff_table td.left, .diff_table td.right {
117 .diff_table tr.change {
118 background-color: #dcdcdc;
123 display: inline-block;
128 background-color: #ff9c94;
132 background-color: #90ee90;
136 background-color: yellow;