MediaWiki:Common.css: Difference between revisions

From Phidgets Support
No edit summary
No edit summary
Line 35: Line 35:
div.source {
div.source {
   background-color: #f3f3f3;  
   background-color: #f3f3f3;  
   border-color: #1c9edb;  
   //border-color: #1c9edb;
   border-width:1px;  
  //Fake border:
  border-color: #FF00DC;  
   border-width:3px;  
   border-style: dashed;
   border-style: dashed;
   font-size: medium;
   font-size: medium;
   padding:6px;
   padding:6px;
}
}

Revision as of 18:04, 26 January 2012

/*////////////////////////////////////////////////////////////////////////////////////////////////////////
// Makes the level 4 header italic so it looks different from level 3. 
*/

h4{
font-style: italic;
}

/*///////////////////////////////////////////////////////////////////////////////////////////////////////*/

/*////////////////////////////////////////////////////////////////////////////////////////////////////////
// The following code enables numberless tables of contents.
// When <div class="nonumtoc"> is used on the table of contents, the ToC will display without numbers.
*/

.nonumtoc .tocnumber { display: none; }
.nonumtoc #toc ul,
.nonumtoc .toc ul {
    line-height: 1.5em;
    list-style: none;
    margin: .3em 0 0;
    padding: 0;
}
.nonumtoc #toc ul ul, 
.nonumtoc .toc ul ul { 
    margin: 0 0 0 2em; 
}

/*////////////////////////////////////////////////////////////////////////////////////////////////////////*/

/*//////////////////////////////////////////////////////////////////////////////////////////
// Makes the typical source code div container
*/

div.source {
  background-color: #f3f3f3; 
  //border-color: #1c9edb; 
  //Fake border:
  border-color: #FF00DC; 
  border-width:3px; 
  border-style: dashed;
  font-size: medium;
  padding:6px;
}