3368b2d6fe
* Improve input handling. * Enable multi-message output. * Improve request logging. * Add real delete function. * Improve factoid web page. * Extend factoid info output. * Count calls of aliases towards their own popularity. * Show info on deleted factoids too. * Improve factoid search algorithm. * Sort factoid search by popularity. * Improve command name structure. * Various other and minor improvements. * Update default configuration.
95 lines
1.5 KiB
CSS
95 lines
1.5 KiB
CSS
body {
|
|
font-family: verdana, sans;
|
|
font-weight: bold;
|
|
background-color: #eeeeee;
|
|
color: #000066;
|
|
font-size: 10px;
|
|
}
|
|
tbody {
|
|
font-weight: normal;
|
|
}
|
|
div.home {
|
|
margin: 20px auto;
|
|
width: 300px;
|
|
border: 2px solid #000066;
|
|
padding: 0px 10px;
|
|
background-color: #ffffff;
|
|
text-align: center;
|
|
}
|
|
.submit {
|
|
font-size: 10px;
|
|
border: solid 1px #000066;
|
|
color: #000066;
|
|
font-weight: bold;
|
|
background-color: #eeeeee;
|
|
}
|
|
.input {
|
|
font-size: 10px;
|
|
border: solid 1px #000066;
|
|
color: #000066;
|
|
font-weight: bold;
|
|
background-color: white;
|
|
}
|
|
th {
|
|
border-bottom: solid 1px #000066;
|
|
text-align: center;
|
|
}
|
|
td,th {
|
|
font-size: 10px;
|
|
text-align: left;
|
|
vertical-align: top;
|
|
}
|
|
td.comment {
|
|
white-space: normal;
|
|
padding-left: 20px;
|
|
}
|
|
li {
|
|
list-style: none;
|
|
}
|
|
table {
|
|
width: 100%;
|
|
padding-top: 1em;
|
|
clear: both;
|
|
}
|
|
div.main {
|
|
margin: 20px;
|
|
border: 2px solid #000066;
|
|
padding: 0px;
|
|
background-color: #ffffff;
|
|
text-align: center;
|
|
}
|
|
div.pdata {
|
|
text-align: right;
|
|
padding-right: 10px;
|
|
float: right;
|
|
}
|
|
div.search {
|
|
float: left;
|
|
text-align: left;
|
|
padding-left: 10px;
|
|
}
|
|
a, span.pseudolink {
|
|
color: #0000ff;
|
|
text-decoration: underline;
|
|
cursor: pointer;
|
|
}
|
|
span.removal {
|
|
color: #6699cc;
|
|
}
|
|
tr.bg2 {
|
|
background-color: #eeeeee;
|
|
}
|
|
div.invisible {
|
|
display: none;
|
|
}
|
|
div.log {
|
|
display: none;
|
|
color: black;
|
|
width: 100%;
|
|
font-family: monospace;
|
|
white-space: normal;
|
|
text-align: left;
|
|
font-weight: normal;
|
|
clear: both;
|
|
}
|