Alert.png

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.


Click on the 2phidget22.jpg button in the menu bar to go to the Phidget22 version of this page.

Alert.png

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: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;
}