src/cm/media/css/base.css
changeset 307 0cf1d1fc084c
parent 254 94afd8e00c74
child 475 782d40ecf7c3
equal deleted inserted replaced
306:3ee97f4fd0aa 307:0cf1d1fc084c
   164 /* diff table */
   164 /* diff table */
   165 table.diff {
   165 table.diff {
   166 	border: medium none;
   166 	border: medium none;
   167 	border-spacing: 4px;
   167 	border-spacing: 4px;
   168 	width: 98%;
   168 	width: 98%;
   169 }
   169 	table-layout:fixed;
       
   170 }
       
   171 
       
   172 table.diff tr td div {
       
   173 	overflow:auto;
       
   174 	word-wrap:break-word;
       
   175 }
       
   176 
   170 
   177 
   171 table.diff th,table.diff td {
   178 table.diff th,table.diff td {
   172 	border: 1px solid transparent;
   179 	border: 1px solid transparent;
   173 	padding: 0.1em;
   180 	padding: 0.1em;
   174 }
   181 }
   175 
   182 
   176 .diff-title {
   183 .diff-title {
   177 	font-size:140%;
   184 	font-size:140%;
       
   185 	/*width: 98%;*/
   178 }
   186 }
   179 
   187 
   180 .diff-author {
   188 .diff-author {
   181 	font-size:100%;
   189 	font-size:100%;
   182 	/*font-style: italic;*/
   190 	/*font-style: italic;*/
   185 
   193 
   186 .diff-lineno {
   194 .diff-lineno {
   187 	/*font-weight: bold;*/
   195 	/*font-weight: bold;*/
   188 }
   196 }
   189 
   197 
       
   198 table.diff col.diff-content {
       
   199 	width: 42%;
       
   200 }
       
   201 
       
   202 table.diff col.diff-marker {
       
   203 	width: 2%;
       
   204 }
       
   205 
       
   206 table.diff col.diff-separator {
       
   207 	width: 2%;
       
   208 }
       
   209 
   190 .diff-context {
   210 .diff-context {
   191 	background-color: #EEEEEE;
   211 	background-color: #EEEEEE;
   192 	width: 42%;
   212 	/*width: 42%;*/
   193 	vertical-align: top; 
   213 	vertical-align: top; 
   194 }
   214 }
   195 
   215 
   196 .diff-addedline {
   216 .diff-addedline {
   197 	background-color: #CCFFCC;
   217 	background-color: #CCFFCC;
   198 	width: 42%;
   218 	/*width: 42%;*/
   199 	vertical-align: top; 
   219 	vertical-align: top; 
   200 }
   220 }
   201 
   221 
   202 .diff-marker {
   222 .diff-marker {
   203 	font-size: 120%;
   223 	font-size: 120%;
   204 	text-align: center;
   224 	text-align: center;
   205 	width: 5%;
   225 }
   206 }
   226 
   207 
       
   208 .diff-separator {
       
   209 	width: 5%;
       
   210 }
       
   211 
   227 
   212 .diff-deletedline {
   228 .diff-deletedline {
   213 	background-color: #FFFFAA;
   229 	background-color: #FFFFAA;
   214 	width: 42%;
   230 	/*width: 42%;*/
   215 	vertical-align: top; 
   231 	vertical-align: top; 
   216 }
   232 }
   217 
   233 
   218 .diff-head {
   234 .diff-head {
   219 	text-align: center;
   235 	text-align: center;