source: trunk/ipdb.css@ 423

body {
  background-color: #ffffff;
  text-color: #000000;
  font-family: helvetica;
  margin: 0;
}

a { text-decoration: underline; }
a:link          { color:#3333ff; }      /* unvisited link */
a:visited       { color:#663366; }      /* visited link */
a:hover         { color:#dd00dd; }      /* mouse over link */
a:active        { color:#cc0000; }      /* selected link */

tr.color0 {
        background-color: #A8C4D0;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 90%;
}

tr.color1 {
        background-color: #d0e0e0;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 90%;
}

tr.color2 {
        background-color: #A8C4D0;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 90%;
}

tr.hack {
        background-color: #E4EEE8;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 90%;
}

tr.warning {
        background-color: #000000;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-weight: bold;
        color: red;
}

tr.header {
        background-color: #CCCCCC;
        font-family: Verdana, Arial, Helvetica, sans-serif;
}

.indent {
        margin-left: 5%;
        font-size: 90%;
}

.regular { 
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 100%;
}

.heading {
        font-size: 110%;
        font-weight: bold;
        font-family: Verdana, Arial, Helvetica, sans-serif;
}

.small {
        font-size: 60%;
}

.center {
        text-align: center;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 100%;
}

.red {
        font-weight: bold;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size:100%;
        color: red;
}

.mask {
        background: #00ff00;
}

.wildcard {
        background: #ffff00;
}