/* along with Busy. If not, see <http://www.gnu.org/licenses/>.*/
div#INTRO {
- float: top;
- margin: 2em 25% 1em 20%;
- padding: 1em .5em .5em .5em;
+ margin: .5em;
+ padding: 0em .5em .5em .5em;
+ background-color: #F7F7F7;
+ border-style: solid solid solid solid;
+ border-width: 1px;
+ border-color: #AAF;
+}
+div.NEWS {
+ margin: 1em .5em;
+ padding: 0em .5em .5em .5em;
background-color: #F7F7F7;
border-style: solid dashed dashed dashed;
border-width: 1px;
border-color: #AAF;
}
+
+.wikitext h2 { font-size: 1.5em; margin: .3em 0em; }
+.wikitext h3 { font-size: 1.2em; }