notebook.css

/*
  PasHi style sheet. Style sheet that emulates a lined notebook. Source code is
  highlighted using font styling only: all text is black. Errors are highlighted
  using a yellow background.

  Modify a copy of this file to use your own colours, borders etc.

  This file works correctly regardless of the setting of the legacy-css command.

  DO NOT EDIT THIS FILE: PasHi may overwrite any changes to this file. If you
  need a modified version of the file, make a copy in a different directory or
  with a different name and edit that.

  Note that some older browsers, particularly IE <=7 and Safari <= 3, do not
  support the CSS last-child pseudo class used in this style sheet.
*/


.code-pascal,
/* DEPRECATED */ .pas-source {
  background-color: #ffffcc;
  border: 1px silver solid;
}

.code-pascal pre,
/* DEPRECATED */ .pas-source pre {
  font-family: "Courier New", monospace;
  font-size: 9pt;
  margin: 0;
}

.code-pascal pre.line,
.code-pascal pre.odd-line,
.code-pascal pre.even-line,
/* DEPRECATED */ .pas-source pre.line,
/* DEPRECATED */ .pas-source pre.odd-line,
/* DEPRECATED */ .pas-source pre.even-line {
  border-bottom: 1px silver dotted;
}

.code-pascal pre.line:last-child,
.code-pascal pre.odd-line:last-child,
.code-pascal pre.even-line:last-child,
/* DEPRECATED */ .pas-source pre.line:last-child,
/* DEPRECATED */ .pas-source pre.odd-line:last-child,
/* DEPRECATED */ .pas-source pre.even-line:last-child {
  border-bottom: none;
}

.code-pascal pre.even-line,
/* DEPRECATED */ .pas-source pre.even-line {
  background-color: #ffffee;
}

.code-pascal .linenum,
/* DEPRECATED */ .pas-source .linenum {
  border-right: 1px silver dotted;
  padding: 1px 6px 1px 4px;
  margin-right: 0.75em;
  color: gray;
  background-color: transparent;
}

.code-pascal .comment,
/* DEPRECATED */ .pas-comment,
.code-pascal .preproc,
/* DEPRECATED */ .pas-preproc {
  font-weight: normal;
  font-style: italic;
  text-decoration: none;
}

.code-pascal .kwd,
/* DEPRECATED */ .pas-kwd {
  font-weight: bold;
  font-style: normal;
  text-decoration: none;
}

.code-pascal .ident,
.code-pascal .sym,
.code-pascal .str,
.code-pascal .num,
.code-pascal .float,
.code-pascal .hex,
.code-pascal .asm,
/* DEPRECATED */ .pas-ident,
/* DEPRECATED */ .pas-sym,
/* DEPRECATED */ .pas-str,
/* DEPRECATED */ .pas-num,
/* DEPRECATED */ .pas-float,
/* DEPRECATED */ .pas-hex,
/* DEPRECATED */ .pas-asm {
  font-weight: normal;
  font-style: normal;
  text-decoration: none;
}

.code-pascal .space,
/* DEPRECATED */ .pas-space {
}

.code-pascal .err,
/* DEPRECATED */ .pas-err {
  font-weight: normal;
  font-style: normal;
  text-decoration: none;
  background-color: yellow;
}