pkimpel.retro-b5500/webUI/B5500Common.css

/***********************************************************************
* retro-b5500/emulator B5500Common.css
************************************************************************
* Copyright (c) 2012,2014, Nigel Williams and Paul Kimpel.
* Licensed under the MIT License, see http://www.opensource.org/licenses/mit-license.php
************************************************************************
* B5500 Emulator common web interface style sheet.
************************************************************************
* 2014-07-30  P.Kimpel
*   Original version, from B5500Console.css.
***********************************************************************/

@font-face {
    font-family: "DejaVuSansMonoBookWeb";
    src: url("./resources/DejaVuSansMono-webfont.ttf") format("truetype"),
         url("./resources/DejaVuSansMono-webfont.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "DejaVuSansWeb";
    src: url("./resources/DejaVuSans-webfont.ttf") format("truetype"),
         url("./resources/DejaVuSans-webfont.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "DejaVuSansWeb";
    src: url("./resources/DejaVuSans-Bold-webfont.ttf") format("truetype"),
         url("./resources/DejaVuSans-Bold-webfont.woff") format("woff");
    font-weight: bold;
    font-style: normal;
}

HTML {
    height:             100%}

BODY {
    margin:             0;
    padding:            4px}

BODY.deviceBody {
    color:              white;
    background-color:   black;
    font-family:        DejaVuSansWeb, sans-serif;
    font-size:          7pt;
    overflow:           hidden;
    margin:             0;
    padding:            0}

DIV.devicePanel {
    color:              white;
    background-color:   #666;
    font-family:        DejaVuSansWeb, sans-serif;
    border:             1px solid black;
    border-radius:      8px;
    overflow:           hidden;
    width:              auto;
    height:             auto;
    margin:             4px;
    padding:            0}
DIV.paper {
    font-family:        DejaVuSansMonoBookWeb, monospace;
    white-space:        pre;
    margin-top:         0;
    margin-bottom:      0;
    font-size:          8pt;
    line-height:        120%}
DIV.topOfForm {
    page-break-before:  always;
    margin-top:         1px;
    padding-top:        1px;
    border-top:         1px dashed black}

IFRAME.paper {
    font-family:        DejaVuSansMonoBookWeb, monospace;
    font-size:          8pt;
    line-height:        120%;
    color:              black;
    background-color:   white}

PRE {
    font-family:        DejaVuSansMonoBookWeb, monospace}
PRE.paper {
    margin-top:         0;
    margin-bottom:      0;
    font-size:          8pt;
    line-height:        120%}

INPUT[type=text] {
    font-family:        DejaVuSansMonoBookWeb, monospace;
    font-size:          8pt}

BUTTON {
    font-family:        DejaVuSansWeb, sans-serif;
    font-size:          8pt;
    font-weight:        normal;
    line-height:        120%;
    width:              60px;
    height:             40px;
    padding-left:       0;
    padding-right:      0;
    border:             1px solid #DDD;
    border-radius:      4px}

BUTTON.whiteButton {
    background-color:   #999;
    color:              black}

BUTTON.greenButton {
    background-color:   #060;
    color:              white}

BUTTON.redButton {
    background-color:   #900;
    color:              white}

BUTTON.blackButton {
    background-color:   black;
    color:              #999}

BUTTON.yellowButton {
    background-color:   #990;
    color:              black}

BUTTON.whiteLit {
    color:              black;
    background-color:   white}

BUTTON.blackLit {
    color:              white}

BUTTON.greenLit {
    color:              black;
    background-color:   #0F0}

BUTTON.redLit {
    color:              black;
    background-color:   #F00}

BUTTON.yellowLit {
    background-color:   #FF0}
BUTTON.yellowLit5 {
    background-color:   #EE0}
BUTTON.yellowLit4 {
    background-color:   #DD0}
BUTTON.yellowLit3 {
    background-color:   #CC0}
BUTTON.yellowLit2 {
    background-color:   #BB0}
BUTTON.yellowLit1 {
    background-color:   #AA0}

BUTTON.blackBorder {
    border:             1px solid black}

BUTTON.yellowBorder {
    border:             2px solid yellow}

BUTTON.silverBorder {
    border:             1px solid #DDD}

.annunciator {
    visibility:         hidden;
    white-space:        nowrap;
    font-family:        DejaVuSansWeb, sans-serif;
    font-size:          7pt;
    line-height:        100%}
.annunciatorLit {
    visibility:         visible}

.bold {
    font-weight:        bold}
.center {
    text-align:         center}
.rj {
    text-align:         right}
.data {
    font-family:        DejaVuSansMonoBookWeb, monospace;
    text-align:         left}
.number {
    font-family:        DejaVuSansMonoBookWeb, monospace;
    text-align:         right}