Fixes accessing to groups having shortnames that look like ids. Closes #1084

[platal.git] / htdocs / css / wiki.css

table.wiki {
    margin-left: auto;
    margin-right: auto;
    border: 1px dotted gray;
}

table.wiki td {
    padding: 2px 1em;
    vertical-align: middle;
    text-align: center;
}

table.wiki select {
    font-size: 80%;
}

div.frame br {
    height: 0px;
    clear: both;
}

table.quickref {
    margin-top: 1em;
    padding: 0px;
    border: 1px dotted #aaaaaa;
    font-size: 95%;
}

table.quickref tr {
    padding: 0px;
    margin: 0px;
}

table.quickref td {
    margin: 0px;
    padding: 4px;
    border-top: 1px dotted #aaaaaa;
}

#text {
    width: 800px;
}

.diffbox {
    border: 1px #999999 solid;
    margin-top: 1.33em;
}
.diffauthor {
    font-weight: bold;
}
.diffchangesum {
    font-weight: bold;
}
.difftime {
    font-size: 66%;
    background-color: #dddddd;
}
.difftype {
    clear: both;
    font-size: 66%;
    font-weight: bold;
}
.diffadd {
    border-left: 5px #99ff99 solid;
    padding-left: 5px;
}
.diffdel {
    border-left: 5px #ffff99 solid;
    padding-left: 5px;
}
.diffrestore {
    clear: both;
    font-size: 66%;
    margin: 1.5em 0px;
}
a.varlink {
    text-decoration: none;
}
a.createlink {
    font-size: smaller;
    vertical-align: super;
    line-height: normal;
    text-decoration: none;
}