body {
    font-family: verdana, sans serif;
    font-size: small;
    padding: 0px;
    margin: 0px;
    background: #FFF;
    visibility: hidden;
    -moz-user-select: -moz-none;
    -khtml-user-select: none;
    -webkit-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

#area {
    position: relative;
    background: transparent url(../images/back.png);
    width: 3000px;
    height: 3000px;
}

#bar {
    text-align: center;
    background-color: #ccc;
    position: fixed;
    top: 0px;
    right: 0px;
    /*
     * grabado: #170 で 150px から広げた。アイコン溝 30px を引くとラベル領域が
     * 131px になり、"Remove foreign key"（149px）が無言で切れたため
     * （#bar input は white-space: nowrap ／ overflow: hidden）。
     */
    width: 190px;
    padding: 0px 5px 5px;
    -moz-box-shadow: -4px 4px 8px #888;
    /* FF 3.5+ */
    -webkit-box-shadow: -4px 4px 8px #888;
    /* Safari 3.0+, Chrome */
    box-shadow: -4px 4px 8px #888;
    /* Opera 10.5, IE 9.0 */
    filter: progid:DXImageTransform.Microsoft.Shadow(Strength=5, Direction=215, Color='#888888');
    /* IE 6, IE 7 */
    -ms-filter: "progid:DXImageTransform.Microsoft.Shadow(Strength=5, Direction=215, Color='#888888')";
    /* IE 8 */
}

#bar input {
    display: block;
    width: 90%;
    margin: auto;
}

#toggle {
    padding: 5px 0px;
    margin-bottom: 5px;
    cursor: pointer;
    background-position: 50% 5px;
    background-repeat: no-repeat;
    height: 5px;
}

#toggle:hover {
    background-color: #bbb;
}

#toggle.on {
    background-image: url(../images/up.gif);
}

#toggle.off {
    background-image: url(../images/down.gif);
}

#minimap {
    position: fixed;
    width: 100px;
    height: 100px;
    right: 0px;
    bottom: 0px;
    background-color: #fff;
    border: 1px solid #000;
    opacity: 0.9;
    overflow: hidden;
}

.mini {
    position: absolute;
    border: 1px solid #000;
    background-color: #eea;
    font-size: 1px;
    line-height: 1px;
}

.mini_selected {
    background-color: #f85;
}

.port {
    position: absolute;
    border: 2px solid #f00;
}

.table {
    position: absolute;
    border: 1px solid #000;
    background-color: #ddd;
    cursor: pointer;
    -moz-box-shadow: 4px 4px 8px #888;
    /* FF 3.5+ */
    -webkit-box-shadow: 4px 4px 8px #888;
    /* Safari 3.0+, Chrome */
    box-shadow: 4px 4px 8px #888;
    /* Opera 10.5, IE 9.0 */
    filter: progid:DXImageTransform.Microsoft.Shadow(Strength=5, Direction=135, Color='#888888');
    /* IE 6, IE 7 */
    -ms-filter: progid:DXImageTransform.Microsoft.Shadow(Strength=5, Direction=135, Color='#888888');
    /* IE 8 */
    border-radius: 3px;
}

.table.selected {
    border: 2px solid #000;
}

.table thead .title {
    text-align: center;
    padding: 3px 30px;
}

.table tbody {
    border-top: 1px dotted #888;
}

.table tbody td {
    padding: 3px;
}

.table thead td[title]:not([title=""]):after {
    content: '';
    position: absolute;
    top: 0;
    right: 0;
    border-color: royalblue;
    border-style: solid;
    border-width: 5px;
    border-bottom-color: transparent;
    border-left-color: transparent;
}

.table tbody td {
    position: relative;
}

.table tbody[title]:not(.expanded):not([title=""]) td:last-child:after {
    content: '';
    position: absolute;
    top: 0;
    right: 0;
    border-color: royalblue;
    border-style: solid;
    border-width: 5px;
    border-bottom-color: transparent;
    border-left-color: transparent;
}

/* grabado: #173 で <dialog> になった。position / visibility は showModal() が持つ */
#window,
#prompt {
    background-color: #fff;
    border: 6px double #333;
    padding: 10px;
}

#windowtitle {
    border-bottom: 2px solid #333;
    padding: 2px;
    padding-left: 1em;
    font-weight: bold;
    background-color: rgb(238, 238, 170);
}

#windowok, #windowcancel {
    margin: 0em 1em 1em;
}

#textarea {
    /* #312: 2 列のセクションに合わせて全幅へ（元は 650px 固定で、新しい箱に対して狭い）。
       高さは material 側と同じ理由で 200px から下げた */
    width: 100%;
    box-sizing: border-box;
    height: 140px;
}

#keys {
    white-space: nowrap;
    text-align: center;
}

legend {
    font-weight: bold;
}

#rubberband {
    position: absolute;
    border: 1px solid #000;
    background: #888;
    opacity: 0.5;
    visibility: hidden;
}
/*
 * grabado: 識別子の警告（HANDOVER §6 段階6-9b）。
 *
 * **止めるのではなく気づかせるための印**なので、赤字にも背景色にもしない ——
 * 行の背景色は型パレット由来（Row.getColor）で意味を持っており、そこを奪うと
 * 「型が変わった」ように見える。波線だけを足して、理由は tooltip に置く。
 */
.invalid {
    text-decoration: underline wavy #c00;
    text-underline-offset: 2px;
}