border-color: #000000;
}
+/*
+ * Third menu
+ */
+div.vmenu {
+ font-weight: bold;
+ padding: 0;
+}
+div.vmenu p {
+ height: 5px;
+ width: 100%;
+ background: #cfcfcf;
+ padding: 0;
+ margin: 0;
+}
+div.vmenu ul {
+ list-style: none;
+ padding: 0;
+ margin-top: 10px;
+ margin-bottom: 10px;
+}
+div.vmenu ul li a {
+ display: block;
+ width: 100%;
+ text-decoration: none;
+ text-align: center;
+ color: #707070;
+ padding: 2px 2px 2px 0.5em;
+ background-color: #ededed;
+}
+div.vmenu ul li a#current {
+ color: #000000;
+ background-color: #d2d2d2;
+}
+div.vmenu ul li a:hover {
+ color: #000000;
+ background-color: #e1e1e1;
+}
+html>body div.vmenu ul li a {
+ width: auto;
+}
+
+
+div.omenu {
+ font-weight: bold;
+ padding: 0;
+ border: 5px solid #000000;
+ margin-top: 10px;
+ margin-bottom: 10px;
+}
+div.omenu ul {
+ list-style: none;
+ padding: 0;
+ margin: 0;
+}
+div.omenu ul li a {
+ display: block;
+ width: 100%;
+ text-decoration: none;
+ text-align: center;
+ color: #000000;
+ padding: 1;
+ background-color: #ffffff;
+}
+html>body div.omenu ul li a {
+ width: auto;
+}
+
/*
* Local variables:
* mode: indented-text