@import "import.css"; /* Real Style */

/* Base Style */
body {
  font-family: Georgia;
  font-size: 12px;
  background-color: white;
  color: #333;
}

#toolbar {
  position: absolute;
  right: 10px;
}


*[title] {
  border-bottom:1px dotted silver;
  cursor:help;
}

h1[title] {
  border: none; 
}

a {
  color: #888;
  /* color: #660; */
}

a:visited {
  color: #666;
  color: #aa9;
}

a:hover {
  background-color: #eee;
}

q {
  font-family: "Courier New", monospace;
}

pre {
  padding-left: 10px;
  border-left: 1px solid #336;
  color: #336;
}

blockquote {
  font-family: "Courier New", monospace;
  border-left: 1px solid #999;
  color: #633;
  padding-left: 10px;
}

blockquote blockquote {
  margin-left: 0;
  border-left: 1px solid #999;
  color: #366; 
}

hr {
  margin-top: 2em;
  margin-bottom: 2em;
  border: 0;
  height: 1px;
  color: #333;
  background-color: #333;
}