michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: body {
michael@0:   margin: 0px;
michael@0:   padding: 0px;
michael@0:   font: Arial, sans-serif;
michael@0: }
michael@0: 
michael@0: /* header stuff */
michael@0: .spacetrace-header {
michael@0:   color: white;
michael@0:   background: green;
michael@0: /*  min-height: 2em; */
michael@0: }
michael@0: 
michael@0: .spacetrace-title {
michael@0:   font-size: x-large;
michael@0:   font-weight: bold;
michael@0:   padding: 0.5em;
michael@0: }
michael@0: 
michael@0: .navigate {
michael@0: /*  background: lightgrey; */
michael@0:   color: black;
michael@0:   position: absolute;
michael@0:   right: 0px;
michael@0:   margin: 0px;
michael@0:   padding: 2px;
michael@0: }
michael@0: 
michael@0: .header-item {
michael@0:   border: 1px outset;
michael@0:   color: ButtonText;
michael@0:   background: ButtonFace;
michael@0:   margin: 0px;
michael@0:   padding: 2px;
michael@0: }
michael@0: 
michael@0: .header-item > a {
michael@0:   font-weight: bold;
michael@0:   text-decoration: none;
michael@0: }
michael@0: 
michael@0: 
michael@0: .header-item {
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: .category-title {
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: /* footer stuff */
michael@0: .footer-separator {
michael@0:   border: 1px inset;
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: .footer {
michael@0:   text-align: right;
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: .footer-text {
michael@0:   font-style: italic;
michael@0: }
michael@0: 
michael@0: .option-box {
michael@0:   border: solid black;
michael@0:   background: grey;
michael@0:   padding-left: .5em;
michael@0:   padding-right: .5em;
michael@0:   margin: .5em;
michael@0: }
michael@0: 
michael@0: .option-name {
michael@0:   font-weight: bold;
michael@0:   margin: 1em;
michael@0: }
michael@0: 
michael@0: .option-box input[type=text]
michael@0: {
michael@0:   border: inset thin;
michael@0:   padding: 2px;
michael@0: }
michael@0: 
michael@0: .option-help {
michael@0:   white-space: pre;
michael@0:   right: 0px;
michael@0:   background: white;
michael@0:   padding: 0.5em;
michael@0:   border: thin inset;
michael@0: }
michael@0: 
michael@0: .callsite-header {
michael@0:   padding: 10px;
michael@0: }
michael@0: /* data tables */
michael@0: #callsite-details {
michael@0:   position: absolute;
michael@0:   right: 1px;
michael@0:   top: 40px;
michael@0:   width: 20%;
michael@0: }
michael@0: 
michael@0: #callsites {
michael@0:   width: 75%;
michael@0:   height: 40%;
michael@0:   overflow: scroll;
michael@0: }
michael@0: 
michael@0: #caller-stack {
michael@0:   height: 45%;
michael@0:   width: 75%;
michael@0:   overflow: scroll;
michael@0:   padding-top: 5px;
michael@0: }
michael@0: 
michael@0: #allocations {
michael@0:   position: absolute;
michael@0:   right: 1px;
michael@0:   bottom: 1px;
michael@0:   height: 40%;
michael@0:   width: 20%;
michael@0:   overflow: scroll;
michael@0: }
michael@0: 
michael@0: /* headers at the top of specific call site pages */
michael@0: 
michael@0: table.summary {
michael@0:   border: 1px solid black;
michael@0: }
michael@0: 
michael@0: /* lists of callsites/etc */
michael@0: table.data td {
michael@0:   border-top: 1px solid;
michael@0:   padding: 5px;
michael@0: }
michael@0: 
michael@0: table.data {
michael@0:   clear: right;
michael@0:   border-collapse: collapse;
michael@0: }
michael@0: 
michael@0: tr.row-header {
michael@0:   background: #009090;
michael@0:   width: 100%;
michael@0: }
michael@0: 
michael@0: table.data th {
michael@0:   padding: 5px;
michael@0:   margin: 0px;
michael@0:   text-align: right;
michael@0: }
michael@0: 
michael@0: th.callsite {
michael@0:   text-align: left !important;
michael@0: }
michael@0: 
michael@0: /* links to source */
michael@0: .source-extra {
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: a.source, a.callsite {
michael@0:   text-decoration: none;
michael@0: }
michael@0: