a img {
    border: none;
}

div {
    margin: 1ex;
}

pre {
    white-space: pre-wrap;
}

#footer {
  text-align: center;
  color: #999;
  padding: 10px;
  font-size: 80%;
}

tr.locked {
    background-color: lightgray;
}
tr.odd > td {
    background-color:#dde3fe;
}
tr.even > td {
    background-color:#ddd;
}
td.revision {
    text-align:right;
    width: 15em;
}
td.value {
    width: 100%;
}
td.value textarea, td.value input {
    width: 100%;
    margin: -1px;
    padding: 0;
}
td.value > textarea {
    min-height: 20ex;
}
td.value > div >  p:first-child {
    margin-top: 0px;
}
td.value > div > p:last-child {
    margin-bottom: 0px;
}
td.value > div {
    position: relative;
}

th.head > label {
    text-align: left;
    display: block;
    font-weight: normal;
}
th.head > input[type=text] {
    width: 6em;
}

table.proptable {
    border: thin solid grey;
    width: 100%;
    table-layout: fixed;
}
table.proptable > tbody > tr > td, table.proptable > tbody > tr > th {
    border: none;
    vertical-align: top;
}
table.proptable > tbody > tr > th {
    width: 100px;
}
table.proptable > tbody > tr > td:last-child {
    width: 90px;
}
table.proptable pre {
    margin: .5em;
}

table.proptable table {
    width: 100%;
    /* table-layout: fixed; -xavid: not a good default, add a macro for it */
}

.editfields {
    display: none;
}

.editlink {
    font-weight: normal;
    text-decoration: none;
    vertical-align: super;
}
.editlink:before {
    content: "[";
}
.editlink:after {
    content: "]";
}

div.editable {
    margin: 0;
    display: inline-block;
}

.broken {
    color: red;
}
.broken:after {
    content: "?";
    vertical-align: top;
    font-size: 70%;
}


ul#mainmenu {
	margin: 0;
	padding: 0 10px;
	background: url('../images/menubg.png') top left no-repeat;
	height: 38px;
}

ul#mainmenu li {
	list-style-type: none;
	margin: 0;
	padding: 0;
	position: relative;
	display: inline;
	float: left;
	color: #fff;
	vertical-align: middle;
	line-height: 30px;
	height: 31px;
	padding: 0 10px;
	font-size: 12px;
	background: url('../images/menu-item-border.png') left top no-repeat;
}

ul#mainmenu li a {
	float: left;
	display: block;
	color: #fff;
	text-decoration: none;
}

ul#mainmenu li:hover, ul#mainmenu li.active {
	background: url('../images/menu-item-actibg.png') left top no-repeat;
}

ul#mainmenu li:first-child {
	background: none;
}

ul#mainmenu li:first-child:hover, ul#mainmenu li:first-child.active {
	background: url('../images/menu-item-actibg-first.png') left top no-repeat;
}

ul#mainmenu li:hover.message {
    background: url('../images/menu-item-border.png') left top no-repeat;
}
ul#mainmenu li:first-child:hover.message {
    background: none;
}

ul#mainmenu li.loginlogout
{
    float: right;
    right: 10px;
}

pre.log {
    border: thin solid black;
}

input.commit_clone {
    width: 70em;
}

.CodeMirror {
    margin: 0;
    border: medium inset gray;
    background: white;
}
.CodeMirror-scroll {
    min-width: 10em;
    min-height: 20ex;
    max-height: 80ex;
    height: auto;
    overflow: auto;
}
.CodeMirror div {
    margin: 0;
}
table.proptable .CodeMirror pre {
    margin: 0;
}
span.cm-bold {font-weight: bold;}
span.cm-italic {font-style: italic;}
span.cm-bolditalic {font-weight: bold; font-style: italic;}
span.cm-link {color: blue; text-decoration: underline;}

div.loading {
    background: url('../images/loading.gif') right top no-repeat
}
.failed > div.loading {
    background: url('../images/warning.png') right top no-repeat
}

#form .savebuttons { display: none; }
#form.modified .savebuttons { display: inline; }
#form.modified #operations { display: none; }

#form.modified .savediv, .savediv.preview {
    margin: 0;
    padding: 1ex;
    background: #eeccff;
}

#diffscreen {
    display: none;
    position: fixed;
    text-align: center;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background: rgba(0, 0, 0, 0.8);
    margin: 0;
}
#diffscreen.shown {
    display: block;
}
#diffscreen > div {
    margin: 0 .5in;
}
#diffscreen > div.margin {
    height: 10%;
}
#diffbox {
    display: inline-block;
    background: white;
    overflow: auto;
    max-height: 80%;
}