@charset "UTF-8";

.lib_code
   {
   font-size: 17px;
   font-family: Consolas, 'Liberation Mono', Courier, monospace;
   line-height: 21px;
   }

.lib_p
   {
   white-space: pre;
   }

.lib_s
   {
   width: 375px;
   background-color: #F0F0F0;
   overflow-x: scroll;
   overflow-y: hidden;
   }

.lib_math
   {
   font-size: 19px;
   font-family: 'Nimbus Roman No9 L', 'Times New Roman', Times, serif;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_i
   {
   font-style: italic;
   }

.lib_u
   {
   font-size: 15px;
   line-height: 17px;
   vertical-align: super;
   }

.lib_l
   {
   font-size: 15px;
   line-height: 17px;
   vertical-align: sub;
   }

.lib_frac
   {
   display: inline-block;
   text-align: center;
   vertical-align: middle;
   }

.lib_frac_n
   {
   display: block;
   }

.lib_frac_d
   {
   border-top: 1px solid #000000;
   display: block;
   }

.lib_e
   {
   font-size: 15px;
   line-height: 17px;
   vertical-align: 100%;
   }

.lib_mtx
   {
   font-size: 0px;
   display: inline-block;
   text-align: center;
   vertical-align: middle;
   letter-spacing: 0px;
   line-height: 0px;
   }

.lib_mtx_row
   {
   display: block;
   }

.lib_mtx_lt
   {
   width: 5px;
   height: 21px;
   border-top: 2px solid #000000;
   border-left: 2px solid #000000;
   display: inline-block;
   }

.lib_mtx_l
   {
   width: 5px;
   height: 23px;
   border-left: 2px solid #000000;
   display: inline-block;
   }

.lib_mtx_lb
   {
   width: 5px;
   height: 21px;
   border-bottom: 2px solid #000000;
   border-left: 2px solid #000000;
   display: inline-block;
   }

.lib_mtx_rt
   {
   width: 5px;
   height: 21px;
   border-top: 2px solid #000000;
   border-right: 2px solid #000000;
   display: inline-block;
   }

.lib_mtx_r
   {
   width: 5px;
   height: 23px;
   border-right: 2px solid #000000;
   display: inline-block;
   }

.lib_mtx_rb
   {
   width: 5px;
   height: 21px;
   border-right: 2px solid #000000;
   border-bottom: 2px solid #000000;
   display: inline-block;
   }

.lib_mtx_ln
   {
   width: 16px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   text-align: left;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_n
   {
   width: 23px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_rn
   {
   width: 16px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   text-align: right;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_lw0
   {
   width: 20px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_lw
   {
   width: 6px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_w1
   {
   width: 33px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_rw
   {
   width: 4px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_rw0
   {
   width: 22px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_n0
   {
   width: 11px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_n1
   {
   width: 19px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }

.lib_mtx_n2
   {
   width: 23px;
   height: 23px;
   font-size: 19px;
   display: inline-block;
   vertical-align: top;
   letter-spacing: 1px;
   line-height: 21px;
   }