Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 .todo, .comment { /* while we're working on doc, comment out display */ | 1 .todo, .comment { /* while we're working on doc, comment out display */ |
| 2 color: rgb(255, 0, 0); | 2 color: rgb(255, 0, 0); |
| 3 display: none; | 3 display: none; |
| 4 } | 4 } |
| 5 | 5 |
| 6 .displayModeWarning { | 6 .displayModeWarning { |
| 7 background-color: #FF7735; /* Aaron's favorite color */ | 7 background-color: #FF7735; /* Aaron's favorite color */ |
| 8 color: white; | 8 color: white; |
| 9 font-weight: bold; | 9 font-weight: bold; |
| 10 padding: 6px 8px; | 10 padding: 6px 8px; |
| (...skipping 314 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 325 padding:.2em .5em .2em .9em | 325 padding:.2em .5em .2em .9em |
| 326 } | 326 } |
| 327 | 327 |
| 328 div#toc { | 328 div#toc { |
| 329 background-color: rgb(232, 237, 235); | 329 background-color: rgb(232, 237, 235); |
| 330 display: inline; | 330 display: inline; |
| 331 float: right; | 331 float: right; |
| 332 margin: 5px 0px 5px 20px; | 332 margin: 5px 0px 5px 20px; |
| 333 padding: 5px; | 333 padding: 5px; |
| 334 width: 250px; | 334 width: 250px; |
| 335 word-break: break-all; | |
|
not at google - send to devlin
2012/08/24 04:45:04
without this the long property names overflow :\ I
| |
| 335 } | 336 } |
| 336 | 337 |
| 337 #toc p { | 338 #toc p { |
| 338 font-weight: bold; | 339 font-weight: bold; |
| 339 margin: 0px; | 340 margin: 0px; |
| 340 } | 341 } |
| 341 | 342 |
| 342 #toc ol { | 343 #toc ol { |
| 343 margin:1em 0 0 0; | 344 margin:1em 0 0 0; |
| 344 padding:0; | 345 padding:0; |
| (...skipping 1104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 1449 border: 1px solid #D9D9D9; | 1450 border: 1px solid #D9D9D9; |
| 1450 border-radius: 1px; | 1451 border-radius: 1px; |
| 1451 border-top: 1px solid silver; | 1452 border-top: 1px solid silver; |
| 1452 height: 27px; | 1453 height: 27px; |
| 1453 padding: 0 0 0 8px; | 1454 padding: 0 0 0 8px; |
| 1454 -moz-border-radius: 1px; | 1455 -moz-border-radius: 1px; |
| 1455 -webkit-border-radius: 1px; | 1456 -webkit-border-radius: 1px; |
| 1456 margin: 0 6px 0 0; | 1457 margin: 0 6px 0 0; |
| 1457 font-size: 13px; | 1458 font-size: 13px; |
| 1458 } | 1459 } |
| OLD | NEW |