Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
104 lines (98 sloc) 2.11 KB
var {
margin-right: 1px;
}
button {
margin-right: 1em;
margin-bottom: 0.5ex;
}
div.resultsdiv {
margin-top: 1ex;
margin-bottom: 1ex;
}
table.prooftable {
border-collapse: collapse;
margin-bottom: 2ex;
/* border-spacing: 0; */
}
table.prooftable tr.spacerrow, table.prooftable tr.spacerrow td {
height: 0.5ex;
}
table.prooftable td {
padding: 0px;
height: 3.3ex;
border-bottom: none;
}
table.prooftable td.linenocell {
text-align: right;
padding-right: 0.5em;
}
table.prooftable td.midcell {
min-width: 1em;
}
table.prooftable td.midcell, td.wffcell {
border-left: 2px solid black;
}
table.prooftable td.wffcell input {
font-size: inherit;
width: 10em;
margin-bottom: inherit;
}
table.prooftable td.wffcell {
min-width: 11em;
}
table.prooftable td.wffcell span {
padding-left: 0.5em;
padding-right: 0.5em;
}
table.prooftable td.jcell input {
font-size: inherit;
width: 5em;
margin-bottom: inherit;
}
table.prooftable td.jcell {
border: 1px dashed transparent;
min-width: 5.2em;
}
table.prooftable td.wffcell:hover, table.prooftable td.jcell:hover {
background-color: LightGray;
cursor: pointer;
}
table.prooftable td.wffcell.noclick:hover,table.prooftable td.jcell.noclick:hover {
background-color: transparent;
cursor: default;
}
table.prooftable td.sepcell span, table.prooftable td.sepcell input {
border-bottom: 2px solid black;
padding-bottom: 2px;
}
table.prooftable td.buttoncell a {
visibility: hidden;
}
table.prooftable tr:hover td.buttoncell a {
visibility: visible;
}
table.prooftable td.buttoncell a, #key a {
color: blue;
cursor: pointer;
margin-left: 0.5em;
padding: 3px;
border: 1px solid blue;
border-radius: 5px;
}
table.prooftable td.buttoncell a:hover {
background-color: LightBlue;
}
table.prooftable td.jcell.showcell {
border: 1px dashed gray;
background-color: LightGray;
}
table.prooftable td.jcell.showcell:hover {
border-bottom: 1px solid LightGray;
background-color: DarkGray;
}
button img {
margin-top: 0.2ex;
margin-bottom: 0.2ex;
margin-right: 0.5ex;
vertical-align: middle;
}