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 43: | Line 43: | ||
/*border-color: #1c9edb;*/ | /*border-color: #1c9edb;*/ | ||
/*Fake border:*/ | /*Fake border:*/ | ||
font-size: | font-size: 10pt; | ||
border-color: #555555; | border-color: #555555; | ||
border-width:2px; | border-width:2px; |
Revision as of 15:24, 25 June 2012
/*////////////////////////////////////////////////////////////////////////////////////////////////////////
// Hides the thumbnail magnify link and the "powered by mediawiki" icon.
*/
.magnify {display: none}
#footer-poweredbyico { display: none; }
/*////////////////////////////////////////////////////////////////////////////////////////////////////////
// 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:*/
font-size: 10pt;
border-color: #555555;
border-width:2px;
border-style: dashed;
padding:6px;
}