This page (revision-14) was last changed on 26-Mar-2025 20:15 by Administrator

This page was created on 26-Mar-2025 16:13 by Administrator

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Page revision history

Version Date Modified Size Author Changes ... Change note
14 26-Mar-2025 20:15 2 KB Administrator to previous
13 26-Mar-2025 19:49 2 KB Administrator to previous | to last
12 26-Mar-2025 19:41 2 KB Administrator to previous | to last
11 26-Mar-2025 17:37 2 KB Administrator to previous | to last
10 26-Mar-2025 17:29 2 KB Administrator to previous | to last
9 26-Mar-2025 17:12 1 KB Administrator to previous | to last
8 26-Mar-2025 17:06 1 KB Administrator to previous | to last
7 26-Mar-2025 16:55 1 KB Administrator to previous | to last
6 26-Mar-2025 16:45 1 KB Administrator to previous | to last
5 26-Mar-2025 16:36 2 KB Administrator to previous | to last
4 26-Mar-2025 16:31 2 KB Administrator to previous | to last EncyclopaediaTheme ==> CSSThemeEncyclopaedia
3 26-Mar-2025 16:21 2 KB Administrator to previous | to last
2 26-Mar-2025 16:15 2 KB Administrator to previous | to last
1 26-Mar-2025 16:13 2 KB Administrator to last

Page References

Incoming links Outgoing links

Version management

Difference between version and

At line 1 removed 2 lines
/* Encyclopaedia-inspired theme for Haddock template */
At line 4 changed one line
body div.page-content {
html {
/* Encyclopaedia-inspired theme for Haddock template */
At line 9 changed one line
h1, h2, h3, h4, h5, h6 {
html h1, html h2, html h3, html h4, html h5, html h6 {
At line 13 changed one line
a:not(.logo):not(.btn) {
html a:not(.logo):not(.btn) {
At line 16 changed one line
a:not(.logo):not(.btn):visited {
html a:not(.logo):not(.btn):visited {
At line 20 changed 2 lines
div.header {
background: #666666 !important; /* Lighter gray header */
html div.header {
background: #666666 !important; /* Medium gray header */
At line 24 changed one line
div.header .titlebox {
html div.header .titlebox {
At line 27 changed one line
div.header .titlebox .title-text {
html div.header .titlebox .title-text {
At line 32 changed one line
div.header .titlebox .small, div.header .titlebox .small a {
html div.header .titlebox .small, html div.header .titlebox .small a {
At line 35 changed one line
div.header .topline, div.header .navigation {
html div.header .topline, html div.header .navigation {
At line 39 changed 2 lines
div.sidebar div.leftmenu div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar */
html div.sidebar div.leftmenu div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar (LeftMenu) */
At line 43 changed one line
div.sidebar div.leftmenu div.collapse a.wikipage {
html div.sidebar div.leftmenu div.collapse a.wikipage {
At line 46 changed one line
div.sidebar div.leftmenu div.collapse a.wikipage:visited {
html div.sidebar div.leftmenu div.collapse a.wikipage:visited {
At line 50 changed one line
footer.jspwiki-footer {
html div.sidebar div.leftmenufooter div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar (LeftMenuFooter) */
color: #333333 !important;
}
html div.sidebar div.leftmenufooter div.collapse a.external {
color: #0645AD !important;
}
html div.sidebar div.leftmenufooter div.collapse a.external:visited {
color: #0B0080 !important;
}
html div.footer {
At line 54 changed one line
footer.jspwiki-footer a {
html div.footer a {
At line 58 changed one line
.tab-pane {
html .tab-pane {
At line 62 changed 4 lines
.cat-border {
border: 1px solid #ccc;
padding: 5px;
margin-top: 20px;
html .cat-border {
border: 1px solid #ccc !important;
padding: 5px !important;
margin-top: 20px !important;
At line 67 changed one line
font-size: smaller;
font-size: smaller !important;
At line 70 changed 2 lines
.pagename {
font-size: 2em;
html .pagename {
font-size: 2em !important;