|
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.
|
|
button in the menu bar to go to the Phidget22 version of this page.
MediaWiki:Common.css: Difference between revisions
From Phidgets Legacy 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: | //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;
}
