mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-26 04:52:51 -06:00
9d32b629a9
You can now insert new segments anywhere, now just at the end. You can now delete any segment, not just the last one.
86 lines
2.5 KiB
CSS
86 lines
2.5 KiB
CSS
body { margin: 5px; }
|
|
h1 { float: right; margin: 0; font-size: 150%; }
|
|
h2 { font-size: 120%; }
|
|
h3 { font-size: 100%; }
|
|
|
|
div.pagehead {
|
|
font-family: sans-serif;
|
|
/*position: fixed; top: 5px; left: 5px; right: 5px; z-index: 2;*/
|
|
background-color: #d0d0d0;
|
|
padding: 1px 5px;
|
|
border-radius: 5px;
|
|
}
|
|
table.menubar td { padding: 5px; }
|
|
table.menubar dl, td.options > div > dl, dl.popupmenu {
|
|
z-index: 1;
|
|
display: none; position: absolute;
|
|
background: white; color: black;
|
|
border: 1px solid black;
|
|
margin: 0;
|
|
box-shadow: 4px 4px 12px rgba(0,0,0,0.33);
|
|
}
|
|
table.menubar td:hover > dl, :hover > dl.popupmenu { display: block; }
|
|
table.menubar dt, dl.popupmenu > dt { margin: 0; padding: 5px; }
|
|
table.submenu dt { padding: 0; }
|
|
table.menubar td:hover, table.menubar dt:hover, dl.popupmenu > dt:hover {
|
|
background-color: #36f; color: white;
|
|
}
|
|
table table dl { left: 6em; }
|
|
table.menubar dt { white-space: nowrap; }
|
|
dt.unsupported { color: #999; }
|
|
|
|
div.document {
|
|
/*margin-top: 7ex;*/
|
|
clear: both;
|
|
background: white;
|
|
border: 2px solid #009;
|
|
padding: 0.6ex;
|
|
}
|
|
|
|
div.document h2, div.document h3 { color: #009; }
|
|
|
|
table.segments { margin-left: auto; margin-right: auto; }
|
|
.current_segment, .segment:hover { background: #ff9; }
|
|
|
|
td.actions { padding: 1ex 1em 1ex 0.5em; }
|
|
td.options { padding: 1ex 1em; }
|
|
td.source, td.target {
|
|
padding: 1ex;
|
|
border-bottom: 2px solid #ccc;
|
|
vertical-align: baseline;
|
|
}
|
|
td.options > div, td.actions > div { position: relative; margin: 0; }
|
|
td.options:hover > div > dl,td.actions:hover > div > dl { display: block; }
|
|
td.options > div > dl, td.actions > div > dl {
|
|
left: 0.8em;
|
|
padding: 0.6ex;
|
|
font-family: sans-serif;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
td.source input[name=it], td.target input[name=it], textarea, input[name=punctchars] {
|
|
font-family: inherit; font-size: inherit;
|
|
}
|
|
|
|
td.source input[name=it], td.target input[name=it], textarea { width: 100%; }
|
|
|
|
table.paralleltexts td {
|
|
vertical-align: baseline;
|
|
line-height: 130%;
|
|
}
|
|
|
|
label { font-family: sans-serif; }
|
|
|
|
form.import {
|
|
min-width: 90%; /* extend to availiable width for Safari */
|
|
/*background: #eee;*/
|
|
margin: 10px; /* extend to available width for other browsers */
|
|
padding: 10px;
|
|
box-shadow: 4px 4px 12px rgba(0,0,0,0.33);
|
|
}
|
|
|
|
span.actions { visibility: hidden; }
|
|
tr:hover div > span.actions { visibility: visible; }
|
|
span.arrow, span.actions { color: blue; }
|
|
span.error { color: red; }
|
|
span.choices { color: blue; font-weight: bold; font-family: sans-serif; } |