Notice: This page contains information for the legacy Phidget21 Library. Phidget21 is out of support. Bugfixes may be considered on a case by case basis. Phidget21 does not support VINT Phidgets, or new USB Phidgets released after 2020. We maintain a selection of legacy devices for sale that are supported in Phidget21. We recommend that new projects be developed against the Phidget22 Library.
|
MediaWiki:Common.css: Difference between revisions
From Phidgets Legacy Support
No edit summary |
No edit summary |
||
Line 28: | Line 28: | ||
/*////////////////////////////////////////////////////////////////////////////////////////////////////////*/ | /*////////////////////////////////////////////////////////////////////////////////////////////////////////*/ | ||
/*////////////////////////////////////////////////////////////////////////////////////////// | |||
// Makes the typical source code div container | |||
*/ | |||
div.source { | |||
background-color: #f3f3f3; | |||
border-color: #1c9edb; | |||
border-width:1px; | |||
border-style: dashed; | |||
font-size: medium; | |||
} |
Revision as of 17:54, 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;
border-width:1px;
border-style: dashed;
font-size: medium;
}