Note: After saving, changes may not occur immediately. Click here to learn how to bypass your browser's cache.
  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (Cmd-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (Cmd-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Clear the cache in Tools → Preferences

For details and instructions about other browsers, see Wikipedia:Bypass your cache.

@charset "UTF-8";

#p-logo {
	display: none;}

#column-one {
	padding-top: 0;}

#mw-panel {
	top:0 !important;}

/* Hide popup of edit has been saved. OK as of 2019-03-25 */
.postedit {
	display: none;
}

/* OK as of 2019-03-25 */
#mw-panel {
	top: 0 !important;
}

/* Page namespace "read" view */ 
.pagetext {
	font-size: 1.15em !important;
	width: 500px !important;
  	line-height:130% !important;
	margin:0 auto  !important;
	color:#000 !important;
	text-align:justify !important;
}

/* height of the djvu image window in the page namespace, edit view, over/under edit layout. 2019-08-11 */
.prp-page-image {
   min-height: 300px !important;
}

/* Page namespace "edit" view main text area*/ 
#wpTextbox1 {
	font-size: 1.35em !important;
	line-height:125% !important;
	color: #000 !important;
	background-color: #F5F5F5 !important;
	min-height: 300px !important;
	max-height: 300px !important;
}

/* header and footer windows height is 2 x line-height. */
#wpHeaderTextbox, #wpFooterTextbox { 
	font-size: 1.30em !important;
  	line-height:125% !important;
	color: #000 !important; 
	background-color: #F5F5F5 !important;
	min-height: 60px !important;
	max-height: 60px !important;
}