Difference between revisions of "MediaWiki:Vector.css"

/* CSS placed here will affect users of the Vector skin */
 
.wikicode {
  padding: 5px;
    /* border-radius: 5px; */
  background-color: #e5e5e5;
  color:navy;
  font-family: monospace;
font-size:115%;
/*font-weight:bold; */
  margin:5px 5px 10px 0;
}
 
#module {   /* line-height: 1.5; */  
	border:1px solid #00008B;
        padding:7px;
        border-radius:4px;
	/* font-weight:bold; */
	background-color:#F8F8FF;
     /*   margin:5px;
}
 
#code-module {   /* line-height: 1.5; */  
	border:1px solid #00008B;
        padding:7px;
        border-radius:4px;
	/* font-weight:bold; */
	background-color:#F8F8FF;
        font-family:courier, mono;
        font-size:12px;
/* margin:5px; */
}
 
#yellow-module {   /* line-height: 1.5; */  
	border:1px solid black;
        padding:7px;
        border-radius:5px;
	/* font-weight:bold; */
	background-color:#FFFFCC;
       /* font-family:courier, mono; */
/*margin:5px; */
}
 
#dashed-dotted {   
/* line-height: 1.5; */  
 
border:1px solid gray;
/* border-top-style:solid black; */
  /*  border-right-style:1px  solid; */
    /* border-bottom-style: dotted; */
    /* border-left-style:solid black; */       
padding:7px;
    /*    border-radius:5px; */
	/* font-weight:bold; */
	/* background-color:#FFFAFA; */
       /* font-family:courier, mono; */
/*margin:5px; */
}
 
#blue-module {   /* line-height: 1.5; */  
	border:1px solid black;
        padding:7px 7px 7px 7px;
        border-radius:4px;
	/* font-weight:bold; */
	background-color:#F0FFF0;
       /* font-family:courier, mono; */
/* margin:5px; */
}
 
#midnightblue {   /* line-height: 1.5; */  
	border:1px solid #4682B4;
        padding:6px 6px 6px 10px;
        border-radius:5px 5px 0 0;
	font-weight:bold;
	background-color:#4682B4;
       /* font-family:courier, mono; */
/* margin:5px; */
      font-size:26px;
      color:#FFFAFA;
      margin:0;
}
 
#pagetop {   /* line-height: 1.5; */  
	border:3px solid #4682B4;
        padding:10px 10px 10px 10px;
        /* border-radius:0 0 5px 5px ; */
	/*font-weight:bold; */
	background-color:#F5F5F5;
       /* font-family:courier, mono; */
/* margin:5px; */
      /* color:#FFFAFA; */
      margin:0;
}
 
#clearbox { 
        padding:12px 2px 12px 12px;
      margin:0;
}