source: trunk/ipdb.css@ 392

a:active {
  text-decoration: underline;
  color: #ff0000;
}

a:hover {
  text-decoration: underline;
  color: #0000ff;
}

a:link {
  text-decoration: underline;
  color: #000000;
}

a:visited {
  text-decoration: underline;
  color: #683080;
}

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.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;
}