2003-04-21 11:26:07 +04:00
|
|
|
body {
|
|
|
|
margin: 0px;
|
|
|
|
padding: 0px;
|
2003-06-05 00:15:10 +04:00
|
|
|
font: Arial, sans-serif;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
2003-04-21 11:26:07 +04:00
|
|
|
/* header stuff */
|
2003-04-17 11:36:28 +04:00
|
|
|
.spacetrace-header {
|
2003-06-05 00:15:10 +04:00
|
|
|
color: white;
|
2003-04-21 11:26:07 +04:00
|
|
|
background: green;
|
2003-06-05 00:15:10 +04:00
|
|
|
/* min-height: 2em; */
|
|
|
|
}
|
|
|
|
|
|
|
|
.spacetrace-title {
|
|
|
|
font-size: x-large;
|
|
|
|
font-weight: bold;
|
|
|
|
padding: 0.5em;
|
2003-04-21 11:26:07 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.navigate {
|
2003-06-05 00:15:10 +04:00
|
|
|
/* background: lightgrey; */
|
|
|
|
color: black;
|
2003-04-21 11:26:07 +04:00
|
|
|
position: absolute;
|
|
|
|
right: 0px;
|
|
|
|
margin: 0px;
|
|
|
|
padding: 2px;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.header-item {
|
2003-06-05 00:15:10 +04:00
|
|
|
border: 1px outset;
|
|
|
|
color: ButtonText;
|
|
|
|
background: ButtonFace;
|
2003-04-21 11:26:07 +04:00
|
|
|
margin: 0px;
|
2003-06-05 00:15:10 +04:00
|
|
|
padding: 2px;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.header-item > a {
|
|
|
|
font-weight: bold;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-04-21 11:26:07 +04:00
|
|
|
.header-item {
|
2003-04-17 11:36:28 +04:00
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.category-title {
|
2003-04-21 11:26:07 +04:00
|
|
|
font-weight: bold;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/* footer stuff */
|
|
|
|
.footer-separator {
|
|
|
|
border: 1px inset;
|
2003-06-18 06:02:02 +04:00
|
|
|
display: none;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.footer {
|
|
|
|
text-align: right;
|
2003-06-18 06:02:02 +04:00
|
|
|
display: none;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
.footer-text {
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
2003-06-05 23:56:06 +04:00
|
|
|
.option-box {
|
|
|
|
border: solid black;
|
|
|
|
background: grey;
|
|
|
|
padding-left: .5em;
|
|
|
|
padding-right: .5em;
|
|
|
|
margin: .5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.option-name {
|
|
|
|
font-weight: bold;
|
|
|
|
margin: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.option-box input[type=text]
|
|
|
|
{
|
|
|
|
border: inset thin;
|
|
|
|
padding: 2px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.option-help {
|
|
|
|
white-space: pre;
|
|
|
|
right: 0px;
|
|
|
|
background: white;
|
|
|
|
padding: 0.5em;
|
|
|
|
border: thin inset;
|
|
|
|
}
|
2003-04-17 11:36:28 +04:00
|
|
|
|
2003-06-18 06:02:02 +04:00
|
|
|
.callsite-header {
|
|
|
|
padding: 10px;
|
|
|
|
}
|
2003-04-17 11:36:28 +04:00
|
|
|
/* data tables */
|
2003-06-18 06:02:02 +04:00
|
|
|
#callsite-details {
|
|
|
|
position: absolute;
|
|
|
|
right: 1px;
|
|
|
|
top: 40px;
|
|
|
|
width: 20%;
|
|
|
|
}
|
|
|
|
|
2003-06-18 06:13:46 +04:00
|
|
|
#callsites {
|
2003-06-18 06:02:02 +04:00
|
|
|
width: 75%;
|
|
|
|
height: 40%;
|
|
|
|
overflow: scroll;
|
|
|
|
}
|
2003-04-17 11:36:28 +04:00
|
|
|
|
2003-06-18 06:13:46 +04:00
|
|
|
#caller-stack {
|
2003-06-18 06:02:02 +04:00
|
|
|
height: 45%;
|
|
|
|
width: 75%;
|
|
|
|
overflow: scroll;
|
|
|
|
padding-top: 5px;
|
|
|
|
}
|
|
|
|
|
2003-06-18 06:13:46 +04:00
|
|
|
#allocations {
|
2003-06-18 06:02:02 +04:00
|
|
|
position: absolute;
|
|
|
|
right: 1px;
|
|
|
|
bottom: 1px;
|
|
|
|
height: 40%;
|
|
|
|
width: 20%;
|
|
|
|
overflow: scroll;
|
|
|
|
}
|
|
|
|
|
2003-04-17 11:36:28 +04:00
|
|
|
/* headers at the top of specific call site pages */
|
|
|
|
|
2003-04-21 11:26:07 +04:00
|
|
|
table.summary {
|
2003-04-17 11:36:28 +04:00
|
|
|
border: 1px solid black;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* lists of callsites/etc */
|
|
|
|
table.data td {
|
|
|
|
border-top: 1px solid;
|
2003-04-21 11:26:07 +04:00
|
|
|
padding: 5px;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
table.data {
|
|
|
|
clear: right;
|
2003-04-21 11:26:07 +04:00
|
|
|
border-collapse: collapse;
|
|
|
|
}
|
|
|
|
|
|
|
|
tr.row-header {
|
|
|
|
background: #009090;
|
|
|
|
width: 100%;
|
2003-04-17 11:36:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
table.data th {
|
2003-04-21 11:26:07 +04:00
|
|
|
padding: 5px;
|
|
|
|
margin: 0px;
|
2003-04-17 11:36:28 +04:00
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
|
|
|
th.callsite {
|
|
|
|
text-align: left !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* links to source */
|
|
|
|
.source-extra {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
a.source, a.callsite {
|
|
|
|
text-decoration: none;
|
2003-06-18 06:02:02 +04:00
|
|
|
}
|
|
|
|
|