Pagemenu is an ID of the corresponding div now. There is only one

pagemenu allowed so this change makes it clear.
Adapted styles in global styles.css as well in the themes supplied
with live.

1 files changed, 7 insertions, 19 deletions

diff --git a/css/styles.css b/css/styles.css
index 7f0209a..3e64f09 100644
--- a/css/styles.css
+++ b/css/styles.css
@@ -413,56 +413,44 @@ div.inhalt {
 	padding: 10px;
 }
 
-div.pagemenu {
+div#pagemenu {
 	margin-top: 2px;
 	padding-top: 6px;
 	background: #FFFFFF url(img/bg_line.png) top repeat-x;
 }
 
-div.pagemenu div {
+div#pagemenu div {
 	padding-bottom: 6px;
 	background: #FFFFFF url(img/bg_line_top.png) bottom repeat-x;
 }
 
-div.pagemenu div div {
+div#pagemenu div div {
 	padding: 2px 0px 2px 10px;
 	background: #E9EFFF;
 	border-top: 1px solid #C0C1DA;
 	border-bottom: 1px solid #C0C1DA;
 }
 
-div.pagemenu div div div {
+div#pagemenu div div div {
 	border: 0;
 	padding: 0;
 	margin: 0;
 }
 
-div.pagemenu form {
+div#pagemenu form {
 	display: inline;
 }
 
-div.pagemenu a {
+div#pagemenu a {
 	color: black;
 	font-weight: bold;
 }
 
-div.pagemenu a.active {
+div#pagemenu a.active {
 	color: blue;
 	font-weight: bold;
 }
 
-div.pagemenu #pmmessage {
-	border-bottom: 0px;
-        text-align: center;
-}
-
-div.pagemenu #pmmessage span {
-	padding: 0em 2em 0em 2em;
-        background: red;
-}
-
-div.pagemenu #pmcontent {
-}
 
 /* #######################
    #  Info Box (near logo)