helm/software/matita/nlibrary/topology/preamble.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <html>
   3  <head>
   4   <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
   5   <style type="text/css">
   6           pre, code {
   7             font-family: Sans;
   8             font-size: 1em;
   9             background-color:#efee79; }
  10           pre { margin-right: 5em;}
  11           img { display: block; margin-bottom: 1em; }
  12           .img {
  13             margin-left: auto;
  14             margin-right: auto;
  15             display: block;
  16             border-style: solid;
  17             border-width: 2px;
  18             border-color: grey;
  19             background: grey;
  20             text-align:center;
  21             color: white;
  22             width: 200px;
  23           }
  24   </style>
  25  </head>
  26  <body>