OLD | NEW |
(Empty) | |
| 1 table.calltree { |
| 2 width : 100%; |
| 3 } |
| 4 |
| 5 .numeric { |
| 6 width : 12ex; |
| 7 } |
| 8 |
| 9 body { |
| 10 font-family: 'Roboto', sans-serif; |
| 11 } |
| 12 |
| 13 div.code-type-chip { |
| 14 display : inline-block; |
| 15 padding : 0.0em; |
| 16 } |
| 17 |
| 18 span.code-type-chip { |
| 19 border-radius : 1em; |
| 20 display : inline-block; |
| 21 padding : 0.1em; |
| 22 background-color : #4040c0; |
| 23 color: #ffffff; |
| 24 font-size : small; |
| 25 box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); |
| 26 } |
| 27 |
| 28 span.code-type-chip-space { |
| 29 width : 0.5ex; |
| 30 display : inline-block; |
| 31 } |
| 32 |
| 33 div.mode-button { |
| 34 padding: 1em 3em; |
| 35 display: inline-block; |
| 36 background-color: #6070ff; |
| 37 color : #ffffff; |
| 38 margin: 0 0.2em 2em 0; |
| 39 box-shadow: 3px 3px 2px #d0d0ff; |
| 40 } |
| 41 |
| 42 div.mode-button:hover { |
| 43 background-color: #4858ff; |
| 44 } |
| 45 |
| 46 div.active-mode-button { |
| 47 background-color: #0000ff; |
| 48 box-shadow: 3px 3px 2px #a0a0ff; |
| 49 } |
| 50 |
| 51 div.active-mode-button:hover { |
| 52 background-color: #0000ff; |
| 53 } |
OLD | NEW |