< !DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd" > p, li {white-space: pre-wrap;} This is Marble's machine room for advanced users. Here you can select and deselect the functionality that is provided through plugins. Deselecting a plugin will remove the functionality from the map, menus and toolbars. Also some of the plugins might allow for tweaking their configuration a bit.
p, li {white- space: pre- wrap;} © 2007, Tionscadal Marble http: // edu. kde. org/ marble