Commit a519e417 authored by Fjen Undso's avatar Fjen Undso
Browse files

remove old cruft

parent bc4d95af
/*************************************
* TITLE: Sinorca Style for MoinMoin *
*************************************/
/* ##### Common Styles ##### */
body {
color: black;
background-color: rgb(240,240,240);
font-family: Verdana, Helvetica, Arial, sans-serif;
margin: 0;
padding: 0;
}
a {text-decoration: none;
}
acronym, .titleTip {
border-bottom: 1px dotted rgb(153,153,153);
cursor: help;
margin: 0;
padding: 0 0 0.4px 0;
}
.doNotDisplay {
display: none;
}
.smallCaps {
font-size: 0.8em;
font-variant: small-caps;
}
/* ##### Header ##### */
.superHeader {
color: white;
background-color: #FF9933;
font-size: 0.8em;
height: 2.4em;
}
.superHeader a {
color: white;
background-color: transparent;
text-decoration: none;
margin: 0;
padding: 0 0.5ex 0 0.25ex;
}
.superHeader a:hover {
text-decoration: underline;
}
.superHeader .left {
position: absolute;
left: 1.5mm;
top: 0.6ex;
}
.superHeader .right {
position: absolute;
right: 1.5mm;
top: 0.6ex;
}
.midHeader {
color: black;
background-color: #CCCCCC;
border-top: 1px solid rgb(153,153,153);
border-bottom: 1px solid rgb(153,153,153);
padding: 0px;
}
.midHeader h1{
font-size: 3.2em;
font-weight: normal;
}
.midHeader a {
text-decoration: none;
color: black;
}
#logo {
padding: 0px;
/* contains image and/or text link */
}
#logo img {
/* logo image */
vertical-align: middle;
text-align: center;
margin: 0 10px 0 0;
}
.headerTitle {
text-align: center;
margin: 0 0 0 4mm;
padding: 0ex 0;
}
.subHeader {
color: white;
background-color: rgb(0,51,153);
font-size: 0.9em;
margin: 0;
padding: 1ex 1ex 1ex 1.5mm;
}
.subHeader a {
color: white;
background-color: transparent;
text-decoration: none;
font-weight: bold;
margin: 0;
padding: 0 0.75ex 0 0.5ex;
}
.subHeader a:hover {
text-decoration: underline;
}
.superHeader .highlight, .subHeader .highlight {
color: rgb(253,160,91);
background-color: transparent;
}
/* ##### Side Bar ##### */
#sidebar {
width: 15em;
float: left;
clear: left;
border-right: 1px solid rgb(153,153,153);
}
#sidebar div {
border-bottom: 1px solid rgb(153,153,153);
}
.sideBarTitle {
font-weight: bold;
margin: 0 0 0.5em 2.5mm;
padding: 1em 0 0 0;
}
.actionsmenu {
padding: 0 0 0 5px;
}
#sidebar ul {
list-style-type: none;
list-style-position: outside;
margin: 0;
padding: 0 0 0 0;
/* padding: 0 0 0.5em 0;*/
}
#sidebar li {
margin: 0;
padding: 0.1ex 0; /* Circumvents a rendering bug (?) in MSIE 6.0 */
}
#sidebar a, .current {
color: rgb(0,102,204);
background-color: transparent;
text-decoration: none;
margin: 0;
padding: 0.25em 1ex 0.25em 5mm;
display: block;
}
.current {
color: black;
background-color: white;
padding-left: 4mm;
border-top: 1px solid rgb(253,160,91);
border-bottom: 1px solid rgb(253,160,91);
}
#sidebar a:hover {
color: white;
background-color: orange;
text-decoration: none;
}
.sideBarText {
line-height: 0.5em;
margin: 0 0 1em 0;
padding: 0 0.5ex 0 2.5mm;
display: block;
}
#sidebar .sideBarText a {
text-decoration: underline;
margin: 0;
padding: 0;
display: inline;
}
#sidebar .sideBarText a:hover {
color: rgb(0,102,204);
background-color: transparent;
text-decoration: none;
}
#iconbar {
clear: both;
float: right;
margin: 5px 5px 5px 10px;
padding: 0;
white-space: nowrap;
}
*[dir="rtl"] #iconbar {
float: right;
margin: 5px 10px 5px 0;
}
#iconbar li {
display: inline;
padding: 0;
margin: 0 2px;
}
.lighterBackground {
color: inherit;
background-color: white;
}
/* ##### Main Copy ##### */
#page {
color: black;
background-color: white;
/* text-align: justify;*/
line-height: 1.25em;
margin: 0 0 0 15em;
padding: 0.5mm 5mm 5px 5mm;
border-left: 1px solid rgb(153,153,153);
}
#page p {
margin: 0.4em 1ex 0.2em 1ex;
padding: 0;
}
#page a {
color: rgb(0,102,204);
background-color: transparent;
}
#page a.nonexistent, a.badinterwiki {
color: #900000;
border-bottom: dotted 1px;
}
#page a:hover {
text-decoration: underline;
}
#page .topOfPage {
color: white;
background-color: transparent;
text-decoration: none;
margin: 2.5ex 1ex 0 0; /* For MSIE */
padding: 0;
float: right;
}
#page > .topOfPage {
margin: 2.75ex 1ex 0 0; /* For fully standards-compliant user agents */
}
dl {
margin: 1em 1ex 2em 1ex;
padding: 0;
}
dt {
font-weight: bold;
margin: 0 0 0 0;
padding: 0;
}
dd {
margin: 0 0 0.5em 1em;
padding: 0;
}
pre {
background-color: #FFF8ED;
}
/* ##### Footer ##### */
#footer {
color: black;
background-color: #CCCCCC;
font-size: 0.8em;
margin: 0;
padding: 0.5em;
clear: both;
border-top: 1px solid rgb(153,153,153);
}
#footer .left {
line-height: 1.45em;
float: left;
clear: left;
}
#footer .right {
text-align: right;
line-height: 1.45em;
}
#footer a {
color: rgb(0,102,204);
background-color: transparent;
text-decoration: underline;
}
#footer a:hover {
text-decoration: none;
}
/* DL addition from rightsidebar/classic screen.css*/
#pagetrail {
clear: left;
margin: 0;
padding: 0;
font-size: 0.8em;
height: 2em;
border-bottom: 1px solid rgb(153,153,153);
}
*[dir="rtl"] #pagetrail {
clear: right;
}
#pagetrail li {
float: left;
display: block;
margin: 2px 0 3px 5px;
padding: 0 2px;
}
*[dir="rtl"] #pagetrail li {
float: right;
}
#pagetrail a {
text-decoration: none;
color: rgb(0,102,204);
}
/* XXX Warning: non-ascii characters! */
#pagetrail li:after {
content: " »";
}
#searchform {
margin: 5px 0 5px 0;
text-align: center;
}
*[dir="rtl"] #searchform {
margin: 0 0 0 0;
}
#searchform form div {
display: inline;
}
/*new*/
#searchform div {
border-bottom: 0;
}
.editbar form, .editbar form div {
display: inline;
text-align: center;
}
#message {
margin: 0 0 0 15em;
padding: 0.5em;
background-color: #FFFFA0;
}
#message p{
margin: 0;
}
#message a{
margin: 0;
color: rgb(0,102,204);
}
/* We use here dumb css1 ids becuase of IE suckiness */
#editor-textarea, #editor-comment {
width: 99%;
}
#pagebottom {
clear: both;
}
#pageinfo {
font-style:italic;
}
#preview {
border: 2px solid #e5e5e5;
padding: .5em;
background: url(../img/draft.png);
}
.diff {
width:99%;
}
.diff-title {
background-color: #C0C0C0;
}
.diff-added {
background-color: #E0FFE0;
vertical-align: sub;
}
.diff-removed {
background-color: #FFFFE0;
vertical-align: sub;
}
.diff-added span {
background-color: #80FF80;
}
.diff-removed span {
background-color: #FFFF80;
}
.searchresult dd span {
font-weight: bold;
}
#credits, #version, #timings{
margin: 0px 0px;
padding: 0;
text-align: center;
font-size: 0.4em;
color: #6C7680;
font-size: 12px;
border-top: 1px solid rgb(153,153,153);
}
#credits li, #timings li {
display: inline;
padding: 0 2px;
margin: 0 4px;
}
#credits img {
vertical-align: middle;
}
#wikiedit form {
margin:0px;
}
#wikiedit textarea {
width:98%;
}
body {
background-color:#F0F0F0;
color:black;
font-family:verdana,helvetica,arial,sans-serif;
font-size:71%;
margin:0pt;
padding:0pt;
}
html > body {
font-size:0.75em;
padding:20px;
}
acronym, .titleTip {
border-bottom:1px dotted #999999;
cursor:help;
margin:0pt;
padding:0pt 0pt 0.4px;
}
.doNotDisplay {
display:none;
}
.smallCaps {
font-size:110%;
font-variant:small-caps;
}
.superHeader {
background-image:url(http://forum.finf.uni-hannover.de/wcf/images/FachratInformatik/cellpic.gif);
color:white;
font-size:0.8em;
height:2.4em;
}
.superHeader a {
background-color:transparent;
color:white;
margin:0pt;
padding:0pt 0.5ex 0pt 0.25ex;
text-decoration:none;
}
.superHeader a:hover {
text-decoration:underline;
}
.superHeader .left {
left:5%;
position:absolute;
top:0.6ex;
}
.superHeader .right {
position:absolute;
right:5%;
top:0.6ex;
}
.midHeader {
background-color:#CCCCCC;
border-bottom:1px solid #999999;
border-top:1px solid #999999;
color:black;
padding:0px;
}
.midHeader h1 {
font-size:3.2em;
font-weight:normal;
}
.midHeader a {
color:black;
text-decoration:none;
}
#logo {
padding:0px;
}
#logo img {
margin:0pt 10px 0pt 0pt;
text-align:center;
vertical-align:middle;
}
.headerTitle {
margin:0pt 0pt 0pt 4mm;
padding:0ex 0pt;
text-align:center;
}
.subHeader {
background-image:url(http://forum.finf.uni-hannover.de/wcf/images/FachratInformatik/cellpic.gif);
border-bottom:1px solid #999999;
color:white;
font-size:0.8em;
margin:0pt;
padding:5px;
text-align:right;
}
.subHeader a {
color:black;
text-decoration:none;
}
.subHeader a:hover {
text-decoration:underline;
}
.superHeader .highlight, .subHeader .highlight {
background-color:transparent;
color:#FDA05B;
}
#side-bar {
background-color:#DDDDDD;
border-right:1px solid #999999;
clear:left;
float:left;
width:15em;
}
#side-bar div {
border-bottom:1px solid #999999;
}
.sideBarTitle {
font-weight:bold;
margin:0pt 0pt 0.5em 2.5mm;
padding:1em 0pt 0pt;
}
#side-bar ul {
list-style-position:outside;
list-style-type:none;
margin:0pt;
padding:0pt;
}
#side-bar li {
margin:0pt;
padding:0.1ex 0pt;
}
#side-bar a, .thisPage {
background-color:transparent;
color:#0066CC;
display:block;
margin:0pt;
padding:0.25em 1ex 0.25em 5mm;
text-decoration:none;
}
.thisPage {
background-color:white;
border-bottom:1px solid #FDA05B;
border-top:1px solid #FDA05B;
color:black;
padding-left:4mm;
}
#side-bar a:hover {
background-color:orange;
color:white;
text-decoration:none;
}
.sideBarText {
display:block;
line-height:1.3em;
margin:0pt 0pt 1em;
padding:0pt 0.5ex 0pt 2.5mm;
}
#side-bar .sideBarText a {
display:inline;