| table.calltree { | |
| width : 100%; | |
| } | |
| .numeric { | |
| width : 12ex; | |
| } | |
| .numeric-hidden { | |
| display : none; | |
| } | |
| body { | |
| font-family: 'Roboto', sans-serif; | |
| } | |
| div.code-type-chip { | |
| display : inline-block; | |
| padding : 0.0em; | |
| } | |
| span.code-type-chip { | |
| border-radius : 1em; | |
| display : inline-block; | |
| padding : 0.1em; | |
| background-color : #4040c0; | |
| color: #ffffff; | |
| font-size : small; | |
| box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); | |
| } | |
| span.code-type-chip-space { | |
| width : 0.5ex; | |
| display : inline-block; | |
| } | |
| span.codeid-link { | |
| text-decoration: underline; | |
| cursor: pointer; | |
| } | |
| div.mode-button { | |
| padding: 1em 3em; | |
| display: inline-block; | |
| background-color: #6070ff; | |
| color : #ffffff; | |
| margin: 0 0.2em 2em 0; | |
| box-shadow: 3px 3px 2px #d0d0ff; | |
| } | |
| div.mode-button:hover { | |
| background-color: #4858ff; | |
| } | |
| div.active-mode-button { | |
| background-color: #0000ff; | |
| box-shadow: 3px 3px 2px #a0a0ff; | |
| } | |
| div.active-mode-button:hover { | |
| background-color: #0000ff; | |
| } |